x86, mm: Separate x86_64 vmalloc_sync_all() into separate functions