Re: [Aarch64-laptops] Adding devicetree command to grub