x86: adjust vmalloc_sync_all() for Xen (2nd try)