[coreboot-gerrit] Patch merged into coreboot/master: 8fb36c0 console: rename do_vtxprintf to do_printk_va_list and use it

the following patch was just integrated into master:
commit 8fb36c07ac4eb34da61894bba260ab57c4b7f9db
Author: Aaron Durbin 
Date:   Fri May 1 16:48:54 2015 -0500

console: rename do_vtxprintf to do_printk_va_list and use it

The name is more consistent with what we have elsewhere,
    and the callsite didn't build at all (with vboot enabled)

Change-Id: I3576f3b8f737d360f68b67b6ce1683199948776d
    Signed-off-by: Aaron Durbin 
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/10096
    Tested-by: build bot (Jenkins)

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

-gerrit