[coreboot-gerrit] Patch merged into coreboot/master: a1e514d google/*: Add MAINBOARD_HAS_CHROMEOS where appropriate

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit a1e514d56f0929bc857adac73bb9aab3b775ebb7
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Wed Apr 22 11:39:51 2015 +0200

    google/*: Add MAINBOARD_HAS_CHROMEOS where appropriate
    
    Some recently upstreamed boards are missing this flag
    
    Change-Id: I89d73970f23eed6ea127e620c38f9687b2f5b048
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: http://review.coreboot.org/9949
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit