Update kernel.h