Added inverted page table to VMKernel