Index: Makefile
===================================================================
--- Makefile	(revision 214e89e396a9a2332bd3ffcd0a3fc259dfbafbc1)
+++ Makefile	(revision 8c0d6929ab0f745534bc645600b4dbe08484b298)
@@ -153,5 +153,5 @@
 
 all:
-	tools/config.py default
+	tools/config.py default $(ARCH)
 	$(MAKE) -C . build