[coreboot] [PATCH] rename CONFIG_SERIAL_POST to CONFIG_CONSOLE_POST

[Stefan Reinauer]

See patch.