Re: CONFIG_EFI_MIXED