x86: simplify vmalloc_sync_all