fpmath_patterns.c: workaround to disable the faulty 32 bit path