A bit more NuttX gdb/python tooling to recover an interrupted context. Needs more fleshing out.