I think we need to restrict ARCHS to armv7

Change-Id: I5f9c7ec4a154af4422ce5ae841c350b5640eb026