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