update kernel and gdb