try to fix some  bugs (debugprints still on)
remove kernel.txt (as always ;))