/libgcc/config/nios2/