Hi Kira,
Thanks for the feedback. I have received my microphones and will hopefully do some testing this week.
It is odd that installing the Jetson.GPIO library helped. It should not be needed in general. I will test with L4T r32.2 and let you know my findings.
Regards,
Jon