tz_vmm usb_armory: update binary URIs

The binaries were moved to the genode.org webserver as free bandwidth of the
previous Github LFS was depleted.

Fixes #1902

doc/release_notes-15-11.txt

@@ -1303,7 +1303,7 @@ You can build the demo by executing
 A tutorial on how to create a bootable SD card can be found in the
 corresponding run script _os/tz_vmm.run_. A tutorial on how to reproduce the
 pre-built Linux image, Rootfs and DTB - used by the run script - can be found
-at [https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/README].
+at [http://genode.org/files/release-15.11/usb_armory_tz_vmm/README].
 
 
 NOVA

repos/os/run/tz_vmm.run

@@ -78,7 +78,7 @@
 #
 # :Tutorial on how to reproduce the Linux images:
 #
-#   [https://github.com/m-stein/genode_binaries/blob/master/tz_vmm/usb_armory/README]
+#   [http://genode.org/files/release-15.11/usb_armory_tz_vmm/README]
 #
 # :Wiki about the USB Armory and the Linux:
 #
@@ -198,7 +198,7 @@ install_config $config
 cd bin
 if { $inversepath_linux } {
 
-	set linux_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/linux"
+	set linux_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/linux"
 
 }  elseif { $freescale_linux } {
 
@@ -216,7 +216,7 @@ set boot_modules { core init tz_vmm linux }
 if { $dtb } {
 
 	# download and add DTB
-	set dtb_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/dtb"
+	set dtb_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/dtb"
 	if {![file exists dtb]} {
 		puts "Download device tree ..."
 		exec >& /dev/null wget -c -O dtb $dtb_uri
@@ -235,7 +235,7 @@ if { $mmc_rootfs } {
 	lappend boot_modules part_blk
 
 	# download and add rootfs
-	set rootfs_uri "https://github.com/m-stein/genode_binaries/raw/master/tz_vmm/usb_armory/rootfs"
+	set rootfs_uri "http://genode.org/files/release-15.11/usb_armory_tz_vmm/rootfs"
 	if {![file exists rootfs]} {
 		puts "Download rootfs ..."
 		exec >& /dev/null wget -c -O rootfs.gz $rootfs_uri.gz