[coreboot-gerrit] Change in ...coreboot[master]: soc/intel/icelake: Select SOC_INTEL_USES_MP_SERVICES_PPI Kconfig