Remove demo code from kernel.c.

They are not a good substitute for unit tests, and they clutter the startup output.