[Aarch64-laptops] efibootmgr, not happy...