сдается мне, что HAL - это Hardware Abstraction Level. такая специальная прослоина между железяками и драйверами. без нее Windows точно не взлетит. а то что размер файла отличался от того который тебе давали, может быть вызвано тем что были (или наоборот НЕ были) установлены обновления. выхода два: либо найти hal.dll твоей версии, либо перевесить windows.
p.s. backup рулит