[coreboot-gerrit] Patch merged into coreboot/master: f2582d0 dmp/vortex86ex: Initialize I2C controller base address/IRQ