port_kern_free
extern void port_kern_free(void *d);
port_kern_free(kern_data);
port_kern_free(data->kernel_data);