Index: defaults/arm32/GXemul/Makefile.config
===================================================================
--- defaults/arm32/GXemul/Makefile.config	(revision 5b3cf90fc58406e0a1987ff4a0c1e5e21a8b774b)
+++ defaults/arm32/GXemul/Makefile.config	(revision 5b3cf90fc58406e0a1987ff4a0c1e5e21a8b774b)
@@ -0,0 +1,2 @@
+# Machine type
+MACHINE = testarm
Index: defaults/arm32/integratorcp/Makefile.config
===================================================================
--- defaults/arm32/integratorcp/Makefile.config	(revision 5b3cf90fc58406e0a1987ff4a0c1e5e21a8b774b)
+++ defaults/arm32/integratorcp/Makefile.config	(revision 5b3cf90fc58406e0a1987ff4a0c1e5e21a8b774b)
@@ -0,0 +1,2 @@
+# Machine type
+MACHINE = integratorcp