It is also notoriously time sensitive however, and while likely the hardware can already ensure the synchronization between mics, processing in the OS itself ne

It is also notoriously time sensitive however, and while likely the hardware can already ensure the synchronization between mics, processing in the OS itself necessarily means buffering for a significant period so you don't run the risk of draining the pipe in a non-realtime system.