Removed the caching of invstk_top from kernel stack. It doesn't
improve performance -- actually downgrades ~10 cycles. So rewind back.