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

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

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

-gerrit