[coreboot-gerrit] Patch merged into coreboot/master: Build system: Update HAVE_CMOS_DEFAULT

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f76303e29e257d23710ac30c2bdb3679a7ad5a52
Author: Martin Roth <martinroth at google.com>
Date:   Wed Nov 16 15:45:22 2016 -0700

    Build system: Update HAVE_CMOS_DEFAULT
    
    - Don't build the cmos.default file into cbfs if USE_OPTION_TABLE
    isn't specified.
    - Don't allow HAVE_CMOS_DEFAULT if HAVE_OPTION_TABLE isn't set.
    
    Change-Id: I92401e892f09fc95d4b3fd7418cdbd10ed033fa8
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/17454
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Nico Huber <nico.h at gmx.de>


See https://review.coreboot.org/17454 for details.

-gerrit