What is the process of doing format of PC, and how again to load the operating system. Is there any driver I have to install it again ?