[coreboot-gerrit] New patch to review for coreboot: 74970c8 console: rename do_vtxprintf to do_printk_va_list and use it