kernel_main: use printf instead of debug_print

Now that we have printf, there is no reason to use debug_print which was
written to test the build system.