小米redmi注释4 lineageos 15和红衣主教AOSP ROM可为您提供Android 8.0 Oreo更新非正式地更新