modify Makefile, new kernel.bin