[IMP-dev] kernel/src/doc

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).