Fixed a bug in the setleaf function in the page-tables.  Now we
validate that a mapping has been added in the correct location in the
page-tables.