vmalloc() returns a void pointer - no need to cast it.
Signed-off-by: NJesper Juhl <jesper.juhl@gmail.com>
Signed-off-by: NTony Luck <tony.luck@intel.com>