fix some bugs in the example kernel and the Makefile entries.
10 files changed