Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision 2c52073b51829e4d3a28d8bdf50247d3316218d0)
+++ defaults/ia32/Makefile.config	(revision 63011c53bb450801d5a48366fc12de4e32a10248)
@@ -10,4 +10,7 @@
 # Compiler
 COMPILER = gcc_cross
+
+# In case compiler is clang, whether or not to use its integrated assembler.
+INTEGRATED_AS = default
 
 # Debug build