Symbol: TEGRA_PIN_UART4_RX_PB1