We cache invstk_top (index to the top frame of the invocation stack)
in the kernel stack. Only need to update it when we switch threads.