RE: vmalloc size