Remove mini-armv7

Don't think I will be needing it. i only added it because of the match
but now that I have had a chance to look at it...

Change-Id: I58331ee6244c971c91561f17d99c8851416a18d3