Added generic x86_map_page function to x86/vm code