[Petya V4sechkin]

тока когда я просматривал сведения о файлах драйверов, то обнаружил совсем не те файлы, что должны быть, а именно : hal.dll, ntkrnlpa.exe, ntoskrnl.exe. А должно быть вот так: Halmacpi.dll, ntkrpamp.exe.

Запустите Проводник (Explorer) и посмотрите свойства этих файлов -> вкладка Версия -> Внутреннее имя.
Для общего развития почитайте что-нибудь такое:

During system installation, the installation procedure determines the appropriate operating system image and HAL to install on your system. The selected files are copied to the %SystemRoot%\system32 directory during installation, using fixed, well-known, names. The use of these fixed names makes it easy for the loader to locate these files at boot time. The fixed names for these files are: ntoskrnl.exe Operating system image for x86 systems with 4 GB or less of physical memory. ntkrnlpa.exe Operating system image for x86 systems with more than 4 GB of physical memory. hal.dll Loadable HAL image.

И самое главное, надо ли оно мне

Не надо.