gnu: u-boot-ts7970-q-2g-1000mhz-c: Adjust description.

* gnu/packages/bootloaders.scm (u-boot-ts7970-q-2g-1000mhz-c): Adjust the
u-boot.imx file name on the SD card to the default one used by the
'u-boot-ts7970-q-2g-1000mhz-c-bootloader' bootloader.

diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 7e839fa..b1276f9 100644 (file)
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -1517,7 +1517,7 @@ To flash this bootloader, write it to an SD card, then using the U-Boot serial
 console:
 @example
 mmc dev 0
-load mmc 0:1 ${loadaddr} /u-boot.imx
+load mmc 0:1 ${loadaddr} /boot/u-boot.imx
 sf probe
 sf erase 0 0x80000
 sf write ${loadaddr} 0x400 $filesize