Parche de Seguridad Octubre 2018, Xiaomi MI A2 ya disponible