The microphone button calls the old Google Voice Input on an Android 4.0 Device. Instead it should use the new voice input of Ice Cream Sandwich, which is much better.
I ran across a post on the Android Developers Blog that explains how to incorporate the new Voice Typing that comes with ICS into the keyboard. Hopefully it can help to have this added.