intelppm.sys file.
https://www.win-raid.com/t6268f45-What-exactly-is-the-hal-timer-problem-1.html#msg109217

halmacpi.dll file (After Installation = hal.dll).
https://www.win-raid.com/t6268f45-What-exactly-is-the-hal-timer-problem-1.html#msg109232
