[coreboot] Patch merged into coreboot/master: 45899e3 Fix compilation with CONFIG_USE_OPTION_TABLE enabled

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 45899e3e5bd9bccce3edcb68c84fda209b72168b
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Fri Jul 29 15:34:14 2011 -0700

    Fix compilation with CONFIG_USE_OPTION_TABLE enabled
    
    Change-Id: I6c5d973442bc1770702180a8964f1bf6ed6062ed
    Signed-off-by: Stefan Reinauer <reinauer at google.com>

Build-Tested: build bot (Jenkins) at Fri Mar  9 08:17:05 2012, giving +1
See http://review.coreboot.org/696 for details.

-gerrit