[coreboot-gerrit] New patch to review for coreboot: d8cf0d3 tegra124: return the UART base address based on index