tool_chain: use real patches

Issue #1051.
tool_chain: fix GCC build with makeinfo 5

Issue #1051.
tool_chain: fix GDB build with makeinfo 5

Issue #1051.