/include/config/XEN_PV_SMP