Google, George Mason University, and the NSA have been working on a secure Android kernel for a while. I doubt it will be compatible with all Android devices, but I'm sure they'll consider it reliable before rolling it out in DoD.
The greatest benifit that these support personel will have is a smaller foot print, and no manual pages to count. Yes that's right they actually count each and every page of every manual on an anual basis.
Forgive the mispellings and grammar typing this on my phone.