[coreboot-gerrit] Patch set updated for coreboot: ced4001 dmp/vortex86ex: Move DMP specific POST code defines into one file