SPTE now has a pointer to the kernel address when it is mapped