Miscellaneous paging cleanup

Remove unused functions, add comments.  Additionally, code in paging.c
is now responsible for translating VMA flags to x86 page flags.  The
intention is for VMA code to be architecture-independent.