kernel.h: fix kernel-doc warning