FPU type should not interfere with the ABI selection. Also make sure we either do...