A happy discovery: setting -march=armv7s builds a fat binary with armv7 and armv7s automagically.