# CONFIG_XEN_EFI is not set
