Patch merged into coreboot/master: ab56b3b ChromeOS: Remove oprom_is_loaded

the following patch was just integrated into master:
commit ab56b3b11c34b5315fadc2147f5d1a860dccc419
Author: Kyösti Mälkki 
Date:   Thu Nov 28 16:44:51 2013 +0200

ChromeOS: Remove oprom_is_loaded

A global flag oprom_is_loaded was used to indicate to
    U-boot that VGA option ROM was loaded and run, or that
    native VGA init was completed on GMA device.

Implement this feature without dependency to CHROMEOS option
    and replace use of global variable oprom_is_loaded with call
    to gfx_get_init_done().

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

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

-gerrit