Remove demo code from kernel.c.

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