Bug in distro_efi_boot()