Ahí va:
RedBoot> fconfig -l
Run script at boot: true
Boot script:
.. fis load -l vminux.bin.17
.. exec
Boot script timeout (1000ms resolution): 5
Use BOOTP for network configuration: false
Gateway IP address: 0.0.0.0
Local IP address: 192.168.1.1
Local IP address mask: 255.255.255.0
Default server IP address: 192.168.1.101
Console baud rate: 9600
GDB connection port: 9000
Force console for special debug messages: false
Network debug at boot time: false
RedBoot>
Bien, parece ser lo que me imaginaba

RedBoot trata de levantar una imagen del kernel que tenga una etiqueta "vminux.bin.17", y cuando grabas la imagen del kernel se llama "kernel". Lo más simple seria que utilices la siguiente línea para grabar el kernel
fis create -r 0x80041000 -e 0x80041000 vminux.bin.17

Lo que si, el nombre usual que algunos usan es "vmlinux.bin.l7", en el que pasate tú le falta la letra l en vmlinux. Fijate de que no sea un error al copiar/pegar, y que fconfig -l muestre eso. Debes usar lo que muestra fconfig -l, ya que sólo es una etiqueta.
Saludos, Julio