Revised kernel.c with printString() and revised compileOS.sh to execute bochs