Fix for issue 7452: HAVE_GCC_ASM_FOR_X87 gets set when doing a universal build on