x86_64: pmap: cleanup and added some plumbing for mixed-size mappings.