This post has moved to /kernel-stack-overflow.html.