armv71 -> armv7l