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