tweaks to efibootmgr-0.8.0