[coreboot-gerrit] Patch set updated for coreboot: 7a082a7 console: Add console for GDB