* Makefile: check2 target!
kernel: remove deadcode, add @Scheck annotations
kernel: annotating, commenting deadcode