Fixed a bug in paging_map_eagerly when the range of pages spans over multiple page tables.
Some cleanup and removal of old code.