kernel_thread() causes segfault