Vmalloc.c: backport from linux kernel 3.4