Idle the CPU when nothing to run

Call the 'htl' instruction when the scheduler did not find any processes
to run
Move hlt to x86 specific code