[coreboot-gerrit] New patch to review for coreboot: d244255 dmp/vortex86ex: Initialize I2C controller base address/IRQ