Create kernel_stub.c