I pulled that from the postinst of the previous debian package `ar x whatever.deb` and then untar the control.tar.gz file to get it.
Since you're booting without issues, I wonder if your boot.ini has some other config than me?
I have this part that feels relevant
# legacy and mainline kernel diff
if ext4load mmc ${devno}:1 0x00000000 "/boot/.next" || fatload mmc ${devno}:1 0x00000000 ".next" || ext4load mmc ${devno}:1 0x00000000 ".next"; then
echo "Found mainline kernel configuration"
setenv uartconsole "ttyAML0,115200n8"
setenv kernelimage "uImage"
else
echo "Found legacy kernel configuration"
setenv uartconsole "ttyS0,115200n8"
setenv kernelimage "zImage"
fi