Include kernel.h from configfs.h