Move inclusion of vmalloc.h to rxe.h