[coreboot-gerrit] Patch set updated for coreboot: c757e97 uart8250: Split register definitions