[Bug 935027] New: Enable CONFIG_EFI_MIXED