[coreboot] Patch set updated for coreboot: 40dea3f Fix compilation when USE_OPTION_TABLE is not defined.