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

the following patch was just integrated into master:
commit 45899e3e5bd9bccce3edcb68c84fda209b72168b
Author: Stefan Reinauer 
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

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

-gerrit