gdb: add patches to export minsymbols, sections, and static variables via python