debug in setup pagetables