CONFIG_XEN_EFI=y
