[coreboot-gerrit] Patch merged into coreboot/master: fd6fb26 verstage: provide support for serial console