`armv7-a` will be more correct