Changed the stop_this_cpu() to just hlt.