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

the following patch was just integrated into master:
commit ef8021cc1b5ae1d090b51d37a2a978276e897b55
Author: Antonello Dettori 
Date:   Sat Sep 3 10:45:33 2016 +0200

mainboard/gigabyte/*: transition away from device_t

Replace the use of the old device_t definition inside
    mainboard/gigabyte/*.

Change-Id: Ied62d6234a4f6ea5f851e98a098b2c8f4e3db144
    Signed-off-by: Antonello Dettori 
    Reviewed-on: https://review.coreboot.org/16439
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit