kern/kern_descrip.c: remove unneeded headers
(cherry picked from commit 6eb7cba469d7cf1beccfb18679d1e0bd4a468341)