Create kernel.h fixes #1