[coreboot-gerrit] Patch merged into coreboot/master: console: Enable do_printk_va_list for VBOOT

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit aa5c8f78f98614130cfb4802faa30b6a6b92e815
Author: Lee Leahy <leroy.p.leahy at intel.com>
Date:   Mon Dec 26 10:58:16 2016 -0800

    console: Enable do_printk_va_list for VBOOT
    
    Use CONFIG_VBOOT to enable do_printk_va_list to match the conditionals
    in include/console/console.h and the only caller is vboot/vboot_logic.c.
    CONFIG_VBOOT is also selected for CONFIG_CHROMEOS.
    
    TEST=Build and run on Galileo Gen2
    
    Change-Id: Ia115c74afa498a14d5edd6f7940ec2edc124516f
    Signed-off-by: Lee Leahy <leroy.p.leahy at intel.com>
    Reviewed-on: https://review.coreboot.org/17967
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>


See https://review.coreboot.org/17967 for details.

-gerrit