Re: possible bug in efi detection for guest