x86/mm/64: implement arch_sync_kernel_mappings()