moved page fault handing code to non-arch-dep kernel