It still sounds like you found a bug somewhere. So @minute said on IRC to flash to /dev/mmcblk0boot0. This didn’t work for you but flashing to /dev/mmcblk0 did. Either the instructions are wrong (@minute can you confirm?) or the way we check for the presence of uboot with cmp is wrong.