Okay, now compile your kernel with 'CONFIG_DEBUG_INFO=y', load it in qemu, and attach gdb so you can step through the code and reason about it.