Xiaomi Redmi Note 5 Pro: disponibile la LineageOS 15.1 con Android 8.1 Oreo