add kernel.o to osx makefile