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

the following patch was just integrated into master:
commit aa5c8f78f98614130cfb4802faa30b6a6b92e815
Author: Lee Leahy 
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 
    Reviewed-on: https://review.coreboot.org/17967
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit