[coreboot-gerrit] Patch merged into coreboot/master: 009600b mainboard/dmp/vortex86ec: Unused variable in romstage.c