Kernel code hygene

Removing old code
Harder under new scheme
devfs goes in July

Detecting problems automatically
sparse annotations
Strongly-typed interfaces

Cleaning up the module interface
Un-exporting symbols
Making life harder for out-of-tree modules
Especially proprietary modules