zynq: fix rpi4 host key problems (4th attempt)

zynq.nix

@@ -38,13 +38,9 @@ in
         mkdir $HOME/.ssh
         cp /opt/hydra_id_rsa $HOME/.ssh/id_rsa
         cp /opt/hydra_id_rsa.pub $HOME/.ssh/id_rsa.pub
-        cat > $HOME/.ssh/config << EOF
-        Host *
-          StrictHostKeyChecking no
-        EOF
         chmod 600 $HOME/.ssh/id_rsa
 
-        bash ${<artiq-zynq>}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag}
+        bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR" -d ${artiq-zynq.zc706-simple-jtag}
 
         touch $out
         '';