RPi3 to Rock64 Do I need to download a new image file?