Change in coreboot[master]: soc/intel/common: Implement EFI_MP_SERVICES_PPI structure APIs

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/25634 )

Change subject: soc/intel/common: Implement EFI_MP_SERVICES_PPI structure APIs
......................................................................

Patch Set 13: Verified-1

Build Failed

https://qa.coreboot.org/job/coreboot-gerrit/71039/ : FAILURE

https://qa.coreboot.org/job/coreboot-checkpatch/25215/ : SUCCESS