[coreboot] Patch merged into coreboot/master: f61c4fa Fix compilation when USE_OPTION_TABLE is not defined.