We now have a kernel virtual address