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