fix gnuradio building armv7 issue