Clean up use of CONFIG_ variables in coreboot_table.c