dynamic_debug: add #include <linux/sched.h>