Combine config.txt for 32-bit and 64-bit models

Use 64-bit for RPi 3, 4, 400 and Zero 2, and 32-bit for all other models
No more renaming of config.txt by the user required
Thanks @rsta2 [ci skip]

.github/workflows/build.yml

@@ -62,9 +62,8 @@ jobs:
            cd -
            mkdir -p sdcard
            cp -r ./circle-stdlib/libs/circle/boot/* sdcard
-           mv sdcard/config64.txt sdcard/config.txt
+           rm -f sdcard/config*.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
-           rm -rf sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
+           cp ./src/config.txt ./src/*img sdcard/
-           cp ./src/*img sdcard/
            cd sdcard
            cp ../kernels/* . || true
            zip -r ../MiniDexed_$(date +%Y-%m-%d).zip *