Linux armv7l, not Linux armv71!!!