[coreboot-gerrit] Patch set updated for coreboot: ecc443b tegra124: Clean up ARM UART driver build