[coreboot-gerrit] Change in coreboot[master]: drivers/i2c/designware/dw_i2c.h: include types.h instead of stdint.h