armv7l is not a valid machine type, and config.sub does not accept it. Let's switch to the original triplet instead.