Implementing kernel.c which shows Hello World on the screen using C