ARM: add support to dump the kernel page tables

This patch allows the kernel page tables to be dumped via a debugfs file,
allowing kernel developers to check the layout of the kernel page tables
and the verify the various permissions and type settings.

Change-Id: I30afd5e1e74119cf645569a340b45dc587a556fd
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Git-commit: 1fd15b879d0075c8916e52fb9e52522827433d1f
Git-repo: git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git


Signed-off-by: Laura Abbott <lauraa@codeaurora.org>