Re: [Arm-netbook] EFI/UEFI bios question