kernel.h: fix might_sleep kernel-doc