[coreboot-gerrit] Patch merged into coreboot/master: dedcc78 Fix up Stumpy/Lumpy PEI data for system agent r6