Do firmware updates typically get distributed along with OS updates on Android, or is there some other process you'd need to use to patch those device?