Final version of kernel.c that displays Hello World