An update, should anyone else come upon this issue:
I found a third party camera app, igCamera, that is able to recognize and use the external AT3350iS mic. It is an otherwise so-so video camera, not overly well designed and polluted with mini popup ads in the viewfinder.
A much better camera...