Change Linux version for ARMv6

FDelporte · marc0der · commit 9f5d5cd4cf83 · 2022-01-08T13:45:31.000Z
diff --git a/src/main/bash/sdkman-init.sh b/src/main/bash/sdkman-init.sh
@@ -52,7 +52,7 @@ function infer_platform() {
 		echo "LinuxX64"
 		;;
 	  armv6l)
-		echo "LinuxARM32SF"
+		echo "LinuxARM32HF"
 		;;
 	  armv7l)
 		echo "LinuxARM32HF"
