Not OP, but I looked in to this a few years ago. It was more expensive then, and only went to 20 kHz. Higher frequencies are helpful if you're listening for the hiss of leaking gas, or corona discharge of an electric arc.

The Orin has 6xI2S ports internally, so that would work up to 16*6 = 96 microphones, which is a good number. But it looks like maybe only 3 are brought out & on different dev board connectors [1]? As with a lot of design, the devil is in the details. An FPGA could be easier to configure if you need more than 96 microphones.

My notes:

ICS-52000 $3.50, 20 kHz

ICS-41350 $1.05, 40 kHz

SPH0641LU4H-1 $1.45, 80 kHz+

[1] https://docs.nvidia.com/jetson/archives/r34.1/DeveloperGuide...