[Bug 1127544] efibootmgr is broken