[coreboot-gerrit] New patch to review for coreboot: 08cebba dmp/vortex86ex: fix missing if CPU_DMP_VORTEX86EX / endif