[coreboot] New patch to review for coreboot: 9006830 Clean up use of CONFIG_ variables in coreboot_table.c