Update kernel.c: just Hello World, add some comments