FPU error with arm-linux-gnueabihf-gcc 3.7.3