An android port is within top 3 requests as per Mozilla Connect's Thunderbird section. Makes sense to me to work on such requests when you're operating off donations.
I don't know if there are any other public surfaces the Thunderbird team uses to figure out what to work on (outside of bug reports/telemetry and Mozilla Connect).