Fix ukernel build with --enable-checking

Change-Id: I74f99eb83db050f6ba3113adccd189bc0f24f0f3
Use correct type to free

Change-Id: I81f6ce087239c6a457c714445a8ffd209656af25