Create kernel.h