7fdb812e6b
Only print the current pcb on startup. Printing it every time a utility routine was called messed up the register dump for live kernels.