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