[Bug 935027] Enable CONFIG_EFI_MIXED