selinux: include vmalloc.h for vmalloc_user