I don't know enough about this so maybe dumb question, but couldn't you use DSP to correct phase between microphones if you knew their relative differences?