[OS-BUILD PATCH] redhat/configs: arm: enable SERIAL_TEGRA UART for RHEL