889a6b5845
fixes a couple of potential KSE panics on non-i386 arch's that weren't holding the proc lock when calling thread_exit().