[coreboot-gerrit] Patch set updated for coreboot: 9e0a26b dmp/vortex86ex: Initialize I2C controller base address/IRQ