See patch.
Having an extra file just for the tiny hlt() is really not required.
Btw, why does die() do an endless loop around hlt()? Is there a reason a hlt() will _not_ immediately halt the CPU? Can that happen?
If so, shall we move the loop into hlt() itself?
Uwe.