[coreboot-gerrit] Patch merged into coreboot/master: ab72809 ChromeOS boards: Fix includes

the following patch was just integrated into master:
commit ab7280970a96eb5a604a37ffd913355a1f40fb88
Author: Kyösti Mälkki 
Date:   Sat May 3 16:47:52 2014 +0300

ChromeOS boards: Fix includes

Change-Id: Ib8448f3d36a23538cd9fea897f09da3ec4ad007a
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/5647
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit