# CONFIG_X86_PC is not set
CONFIG_X86_XEN=y
