The node you are looking for is at Using openocd SMP with GDB.