[coreboot-gerrit] Patch merged into coreboot/master: 618ddfe device/{cardbus, agp}.h: Missing header for device_t type

the following patch was just integrated into master:
commit 618ddfeea557f076fb38f21671dcabe34411f583
Author: Edward O'Callaghan 
Date:   Fri Jun 20 21:49:39 2014 +1000

device/{cardbus,agp}.h: Missing header for device_t type

Missing header for the ramstage version of device_t which is a struct
    ptr.

Change-Id: Ie2a30b75ee1d0513397276b81e8df1d995707f6f
    Signed-off-by: Edward O'Callaghan 
    Reviewed-on: http://review.coreboot.org/6080
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/6080 for details.

-gerrit