[OS-BUILD PATCH 1/2] redhat/configs: Enable ARCH_TEGRA on RHEL