improve i386 paging_map