/include/config/XEN_PVHVM_SMP