vmalloc.c: fix flushing in vmap_page_range()