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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8fb36c07ac4eb34da61894bba260ab57c4b7f9db
Author: Aaron Durbin <adurbin at chromium.org>
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 <adurbin at chromium.org>
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: http://review.coreboot.org/10096
    Tested-by: build bot (Jenkins)


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

-gerrit