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