Vmalloc: backport from Linux Kernel 3.4