FPU type should not interfere with the ABI selection.