If you're that concerned and trust your software stack that little, it wouldn't be that hard to open up the system and physically disconnect the internal microphone, such that you can only use a 3.5mm or Bluetooth microphone. But if you trust your software stack that little, you have bigger problems. Efforts like the one in this article are a good step towards not having to worry about that kind of problem.