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