Archivo envirtahci.sys dañado

Hola,

Mi hijo tiene un problema con su ordenador nuevo tras la actualización de controladores a través de Driverclouds. Intentó encontrar una solución en este sitio, pero no funcionó. Él ha abandonado, así que yo asumo el relevo con la esperanza de lograrlo...

Recordatorio de los hechos: tras la actualización de controladores a través de Driverclouds, el ordenador entra en un bucle en un intento de reparación. La única forma que he encontrado para iniciar el ordenador es arrancar ignorando la firma de los controladores. Ordenador nuevo, por lo que no hay un punto de restauración.
Otro punto: ha perdido el wifi sin que sepamos si los 2 problemas están relacionados o no....

Al iniciar, el ordenador indica un archivo de registro en el que encontré este error:

Causa inicial encontrada:
---------------------------
El archivo crítico de inicio c:\windows\system32\drivers\envirtahci.sys está dañado.

Acción de reparación: Reparación de archivo
Resultado: Fallo de la operación. Código de error = 0x57
Duración = 1484 ms

Ya hemos actualizado la versión de Windows (tenemos la 1909), hemos intentado reparar Windows, reiniciar sin perder los datos. También hemos hecho una actualización de controlador con esto:
https://www.touslesdrivers.com/index.php?v_page=23&v_code=64521.

Si alguien tiene otra opción, estoy dispuesta a escucharlas...

Gracias de antemano por su ayuda...

Sanap

Configuración: Windows / Chrome 81.0.4044.113