GCC M4 DSP support