[coreboot] [PATCH] Only build option_table.o if CONFIG_HAVE_OPTION_TABLE is 'y'

[Uwe Hermann]

See patch.

Uwe.