qemu and gdb script for kernel debugging