lille,
Sorry that was a typo!
Sorry that was a typo!
setenv bootcmd 'run bootcmd_linux; run bootcmd_stock; reset' boot