* Make sure we reset ar.k6 (used to hold the kernel stack pointer when we are returning to user mode after a syscall.