vkernel - Fix corrupt tailq (vkernel64 only)