I’ve removed the .probe and .remove functions from the snd_soc_codec_driver and I now seem to be able to capture something but it sounds distorted.
This was using
arecord -D hw:jetsonxaviernxa,0 -c 2 -r 48000 -f S24_LE
-d 10 cap.wav
The computer supplying HDMI is set for 24 bit at 48000Hz. It was playing the standard Windows audio test sound.