Moved TLB updates to VMKernel