[coreboot] Patch merged into coreboot/master: 1fe424a Clean up use of CONFIG_ variables in coreboot_table.c