[coreboot] Patch set updated for coreboot: b9e2757 console: Revise serial console configuration names.