Sounds way too formal (or British) I would really go for 

CPU architecture mismatch: Attempting to run ARM binary on x86 based device