Re: Bug in distro_efi_boot()