Reset stack before halt

HLT was issued from nested C call without resetting rsp. Reset rsp
before halting so we don't fill up the stack and crash.
Add inb call (io input)
HLT when 0 procs instead of spinning forever
Add hex (%x) to printf style formats