update doxygen kernel