# CONFIG_EFI_MIXED is not set
