[coreboot] Patch set updated for coreboot: 1fe424a Clean up use of CONFIG_ variables in coreboot_table.c