Hi @chrisf, you're quite right, the uboot environment variables use /dev/mmcblk0p1. So for anyone else who has this problem, these instructions (for ubuntu, but still apply) show bootmmc and bootcmd, both of which need to be changed to /dev/mmcblk1p1 (but don't change anything else). Thanks for the tip!