wip/nios2-gdb/patches
