vmalloc.h: update to kk_3.5