Do these come with stock android, and are they updatable? Or, can you install some other distro on it (eg. cyanogenmod)?