[coreboot-gerrit] Patch merged into coreboot/master: mainboard/thomson/ip1000: transition away from device_t

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1232666b6f1ff9be8dd2ef458aba7c202d8ba069
Author: Antonello Dettori <dev at dettori.io>
Date:   Tue Nov 8 18:44:46 2016 +0100

    mainboard/thomson/ip1000: transition away from device_t
    
    Replace the use of the old device_t definition inside
    mainboard/thomson/ip1000.
    
    Change-Id: Id7b979d2539d4a80609a60464527939c4d449822
    Signed-off-by: Antonello Dettori <dev at dettori.io>
    Reviewed-on: https://review.coreboot.org/17308
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


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

-gerrit