make.sh: Default to armv5tel on armv7* build hosts