Record Audio from an I2S Mic with the Arduino Sound library (SAMD21 board based)

Normally I2S runs at rates like 48kSPS, 24 bits per sample, stereo, meaning data rates of 300kB/s or so
might be coming from the microphone chip. This is going to require native-mode support for the SDcard
interface unless the microphone can be configured slower I think.