[gdb] add linux kernel helpers