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