Kernel stop right at the "printf" command.

Have you checked the beginning of the log to see how it starts? The compiler might have reordered your printfs. Printf output is dumped after kernel execution, which means your kernel must have executed all the code and exited if you are getting printf output.