More work on new page tree implementation