Vmalloc.c: Backport from Linux Kernel 3.4