[coreboot-gerrit] Patch set updated for coreboot: f305f91 tegra124: return the UART base address based on index