Re: Grub doesn’t load devicetree