arm64: add support to dump the kernel page tables