Having said that - if your feeling lucky - it might just work if install the Pi gpio node https://flows.nodered.org/node/node-red-node-pi-gpio , then find the folder where its gets installed, then edit nrgpio.py
and replace the marked line with
import Jetson.GPIO as GPIO
then restart node-red and clear the cache in your browser
But your going to have to be very lucky