load kernel's symbol info from kernel.sym
makefile typo
add monitor_put_dec & load kernel.elf in gdb
bochsrc for debuger of bochs