I just saw on Facebook (yes, I know) Seeedstudio has added two new Mic Array voard for Raspberry Pi.
ReSpeaker 4-Mic Linear Array Kit for Raspberry Pi
ReSpeaker 6-Mic Circular Array kit for Raspberry Pi
Both now also have Sound outputs and because of the flat cable with the two pcb’s, I believe they can properly be used within custom cases / hardware mods.
Perhaps the 4-mic can also be used in a Mark-1 b/c version. No clue if that is even possible with the arduino etc.
I think I will order both later in time.