drivers u controlador ethernet tarjeta de red pc `portatil

Tengo el PC portátil de mi primo es un HP Compaq nx7400 Notebook PC
y no encuentro el controlador o driver como se quiera decir de la tarjeta de red , estado buscando en la pagina donde estan todo los controladores y drivers software del PC para 'ponerlo de fabrica' despues de formatear y no he dado en el controlador de la tarjeta , solo le falta dicho controlador por que despues con el programa Genius Driversprofessional se lo respaldaré todo de esta manera le hago un instalador exe y ya no hay que preocuparse en bajarse de nuevo los drivers y es un coñazo ,
a ver si me podeis ayudar a encontrar dicho driver controlador de la tarjeta ethernet de red

Gracias por adelantado.