[coreboot-gerrit] Patch merged into coreboot/master: mainboard/google/reef: explicitly set shipping Chrome OS options

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 746b906cf91d4de2e9e6e2903e4ed6e2f4190496
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Fri Jul 15 22:29:18 2016 -0500

    mainboard/google/reef: explicitly set shipping Chrome OS options
    
    The Chrome OS options that will be shipped on this platform were
    being set in the chromium repo with an external config file. Set
    the options in the mainboard Kconfig file so there's no discrepancy
    as to what will be used.
    
    Change-Id: I05f0d1245611c16f54273728519a08e6edff3429
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: https://review.coreboot.org/15733
    Reviewed-by: Furquan Shaikh <furquan at google.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit