Updates to the page-table code, and tests/debugging on the kernel
operations for constructing page-tables.