I think you need to use the jetson_io tool to manually configure the 40pin header for external peripherals. Unless you need it too, ignore i2s as I need that for audio.
I am literally figuring this out now and haven’t rebooted yet so it’s possible I’ll be back shortly and asking the same as you!
