Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision 70b570c2ae6ecc7f9046b6e954ee393ef46bbc3a)
+++ tools/ew.py	(revision 83b01c20c6b1089ca58ebbbee8f4d709257d1db7)
@@ -80,5 +80,5 @@
 		return 'system-x86_64', pc_options(64)
 	elif platform == 'arm32':
-		return 'system-arm', ''
+		return 'system-arm', '-M integratorcp'
 	elif platform == 'ia32':
 		return 'system-i386', pc_options(32)