add gcc eabi patches from #3988