[coreboot-gerrit] Patch merged into coreboot/master: b3356bb console: Add printk helper for ChromeOS

the following patch was just integrated into master:
commit b3356bbff42148094ada671d3a0a803f195542e6
Author: Kyösti Mälkki 
Date:   Thu Mar 6 16:55:05 2014 +0200

console: Add printk helper for ChromeOS

Do not expose console_tx_flush() to ChromeOS as that function
    is part of lower-level implementation.

Change-Id: I1e31662da88a60e83f8e5d307a4b53441c130aab
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/5347
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/5347 for details.

-gerrit