Rename src/kern_debug.c to src/kernel/kern_debug.c