reproducible Debian armhf: mark virt32* nodes as down

Signed-off-by: Holger Levsen <holger@layer-acht.org>

TODO.r.d.n

@@ -2,7 +2,7 @@ do TODO.rebuilderd-systemd-units
 upload src:rebuilderd to unstable (and its depends need to go through NEW too)
 fix riscv64 nodes:
 	- riscv64-01 and -02 have the same ssh host keys...!?
-	- jenkins jobs broken
+	- bullseye chdist on riscv64? (see maintenance jobs)
 test unstable & trixie
 drop i7 extra partition to save infomaniak credits
 fix cron.d perms

jenkins-home/offline_nodes

@@ -19,6 +19,12 @@
 cbxi4pro0-armhf-rb.debian.net
 cbxi4b-armhf-rb.debian.net
 
+# flaky as can be
+virt32a-armhf-rb.debian.net
+virt32c-armhf-rb.debian.net
+virt32z-armhf-rb.debian.net
+virt32b-armhf-rb.debian.net
+
 # needs investigation
 
 # Down here nodes are automatically added by the maintenance job when they have