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

the following patch was just integrated into master:
commit f76303e29e257d23710ac30c2bdb3679a7ad5a52
Author: Martin Roth 
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 
    Reviewed-on: https://review.coreboot.org/17454
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Nico Huber

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

-gerrit