[coreboot-gerrit] Patch merged into coreboot/master: 1e24f4b Kconfig: Remove duplicate entry for `USE_OPTION_TABLE`

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1e24f4b37ff4bef3b3130b5399f6302cafa5f555
Author: Paul Menzel <paulepanter at users.sourceforge.net>
Date:   Wed May 1 16:21:53 2013 +0200

    Kconfig: Remove duplicate entry for `USE_OPTION_TABLE`
    
    The following commit
    
        commit eb50c7d922e91f0247b3705eccb2d2eec638c277
        Author: Edwin Beasant <edwin_beasant at virtensys.com>
        Date:   Tue Jul 6 21:05:04 2010 +0000
    
        Re-integrate "USE_OPTION_TABLE" code.
    
    added a duplicate entry `config USE_OPTION_TABLE`. Remove it again.
    
    Change-Id: I3ff64c360bad531439e74fa1b25a06c4a447a33f
    Signed-off-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-on: http://review.coreboot.org/3165
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martin.roth at se-eng.com>


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

-gerrit