techPuertos Android Pie AOSP ya disponibles para Xiaomi Redmi Note 5 Pro, Redmi Note 4, Redmi 4X, Mi A1, Mi 3 y Mi 4