CONFIG_XEN_PVHVM_SMP=y
