[coreboot-gerrit] Patch merged into coreboot/master: 595a40c tegra124: Clean up ARM UART driver build