As far as buying cheap government computers goes... price is only one factor here. Formfactor and power use are huge wins with ARM SBCs.