Only create a single kernel page table (will later be a super table), only enable paging once