X86 next

Move the generic page table handling code in different file and make is more generic to handle NPTs.