Factory bioses frequently ship with broken IRQ tables. The 'hlt' problem is a classic 'clock interrupts are not working' symptom. This is good (it's basic) and bad (it can be a bear to debug).
how do vendors get around their own broken tables in the fuctory bios? It appears they ignore them and just jam the correct bits into correct places. sad, but true. We see it all the time.
You're going to have to dig in and make sure you understand the IRQ routing on your board, dump the registers on fuctory bios, and figure out why the irq table is wrong -- assuming it is.
ron