[coreboot-gerrit] Change in coreboot[master]: drivers/i2c/designware/dw_i2c: add missing types.h include