[coreboot-gerrit] Patch set updated for coreboot: 7ae6735 uart: Support multiple ports