Patch merged into coreboot/master: drivers/i2c/da7219: Add driver for generating device in SSDT

the following patch was just integrated into master:
commit dba7e76da1e32d1761a0aaaca2e50d19298becce
Author: Duncan Laurie 
Date:   Sat Jul 2 20:00:56 2016 -0700

drivers/i2c/da7219: Add driver for generating device in SSDT

Add a device driver to generate the device and required properties
    into the SSDT.

This driver uses the ACPI Device Property interface to generate the
    required parameters into the _DSD table format expected by the kernel.

This was tested on the reef mainboard to ensure that the SSDT contained
    the equivalent parameters that are provided by the current DSDT object.

Change-Id: Ia809e953932a7e127352a7ef193974d95e511565
    Signed-off-by: Duncan Laurie 
    Reviewed-on: https://review.coreboot.org/15538
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

See https://review.coreboot.org/15538 for details.

-gerrit