Intel Generation4 I2C driver for FreeBSD