Create kernel_stub.h