[IMP-dev] kernel/src/doc

[Daniel Russel <drussel@gmail.com>]

Why is it there rather than in kernel/doc? Is it used? Especially  
since there is not much reason otherwise to have doxygen parse kernel/ 
src (since such files don't define the API).