--- tex/setuptex.orig	2016-08-22 23:51:21.000000000 +0200
+++ tex/setuptex	2016-08-23 07:44:31.000000000 +0200
@@ -33,7 +33,26 @@
 			# we need more hacks to fix the situation, this is just a temporary solution
 			mips|mips64|mipsel|mips64el) platform="linux-mipsel" ;;
 			# TODO: probably both wrong and incomplete
-			armv7l) platform="linux-armhf" ;;
+			armv7l)
+				platform="linux-armhf"
+					# machine id output by uname(1) is
+					# insufficent to determine whether this
+					# is a soft or hard float system so we
+					# check ourselves.
+					# a) binutils, this should work almost
+					#    everywhere
+					if $(which readelf >/dev/null 2>&1); then
+					    readelf -A /proc/self/exe | grep -q '^ \+Tag_ABI_VFP_args'
+					    if [ ! $? ]; then
+					        platform="linux-armel"
+					    fi
+					# b) debian-specific fallback
+					elif $(which dpkg >/dev/null 2>&1); then
+					    if [ "$(dpkg --print-architecture)" = armel ]; then
+					        platform="linux-armel"
+					    fi
+					fi # else go with hard fp
+					;;
 			*) platform="unknown" ;;
 		esac ;;
 	# Mac OS X