[coreboot-gerrit] Patch merged into coreboot/master: 04f5c4e Build without ChromeOS

the following patch was just integrated into master:
commit 04f5c4eca770641ec8e7090e0f0cd41906b94b07
Author: Kyösti Mälkki 
Date:   Thu Oct 17 16:38:56 2013 +0300

Build without ChromeOS

Change-Id: I1da636573eed62ce693b984917084643787c094b
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/3978
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin 
    Reviewed-by: Paul Menzel

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

-gerrit