Something related, I think: it activates dsp extensions. The problem is that the ARM946E-S processor can handle these extensions, but the ARM7TDMI does not. In order to get all working, I need to deactivate dsp both for amr7 and arm9, because fpc can't retrieve the target at compiling time.