Dann schau mal bei dem Hersteller des Notebooks vorbei.
Dieser sollte sie in seinem Service-Bereich zum Download anbieten (oder es war eine Treiber-CD/DVD dabei).