[coreboot-gerrit] Patch set updated for coreboot: 944db97 console: Add console for GDB