they could be using free android system: this is my openmoko running a free software android:
also if they are using non-free software for most people it takes time to use only free software on there machines so don’t criticize them too much for it
