Probado en un W800 con R1BC002; Me fije que aparentemente ese driver es para W800, digo, no se exactamente, pero la unica variacion que vi en el archivo fue la version, pero tiene el mismo "name" que el original de mi w800.

Tampoco le veo ninguna diferencia.