[Arm-netbook] EFI/UEFI bios question