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