I have several users following my move Linux to SATA on the Banana Pi guide using Armbian with Kernel 4.1 and they are saying that uEnv.txt on the boot partition isn't there. Is this a bug or is the procedure different for armbian? Can you shed any light on this?