manual: fix link to gateware

Change-Id: Iad107b33d182e3d9343dfb4e533360740e9c85df
diff --git a/doc/manuals/chapters/firmware.adoc b/doc/manuals/chapters/firmware.adoc
index 5ae5fb1..5e4a11c 100644
--- a/doc/manuals/chapters/firmware.adoc
+++ b/doc/manuals/chapters/firmware.adoc
@@ -49,7 +49,7 @@
 https://ftp.osmocom.org/binaries/icE1usb/firmware/latest/
 
 The latest gateware can currently only be found at the personal developer
-directory of tnt at https://people.osmocom.org/tnt/e1/icE1usb-202010-bd399e96.bin
+directory of tnt at https://people.osmocom.org/tnt/ice1usb/icE1usb-202010-bd399e96.bin
 A more official download location for the gateware will be provided shortly.
 
 ==== Upgrading the FPGA gateware