Re: [U-Boot] boot a bios/uefi with x86_64, without grub