Updated Makefile for better gdb use & kernel.c tryout.