Amigo es mas facil y accesible saber la info con setool, prueba a buscarlo googleando ok.

Para parchar, debes subir el quick access, y por eso debes subir MAIN junto con el parche.

La main que te puede servir es W580_R8BE001_MAIN_RED52

Saludos