vmm_unmap_page() improved