[Bug 721754] New: EFI installation broken, missing "EFIBOOTMGR"