vmalloc_32 should use GFP_KERNEL