Added #include <kernel.h>