GDB is causing SIGFPE on target boards that have a FPU,
when compiled for a 32 bit ABI.