The Mezzanine works with either operating system, however the documentation was all written assuming Debian. If you use Debian, it works pretty easily, just follow the examples. The only "difficulty" I have had using Android is getting code uploaded to the Arduino on the sensors board. There is a great tool for developing Arduino code under Android (ArduinoDroid) but it will only upload to a WiFi,BT or USB connected Arduino. In our case the Arduino is directly connected to /dev/ttyHSL0, and the tool doesn't give you the option of opening a /dev/ttyXXX port. I did send an email to the creator of the tool (Anton Smirnov), but I haven't heard back from him to see if he would add support for us.
The workaround for Android is to use an Arduino USB programmer tool connected to the 6-pin programming connector on the Sensors Mezzanine card and one of the USB ports on the 410c. Not an elegant solution, but it works.
Full Disclosure: I am an employee of Qualcomm Canada, any opinions I may have expressed in this or any other post may not reflect the opinions of my employer.