Add jhb's awesome collection of gdb scripts for kernel debugging.