rv-manda-01 might have hardware issues?

[Adrian Bunk <bunk@debian.org>]

Hi,

while there is a (rare)
  semop(1): encountered an error: Invalid argument
error that happens on all buildds, rv-manda-01 seems
to have issues unique to this buildd:
https://buildd.debian.org/status/fetch.php?pkg=softhsm2&arch=riscv64&ver=2.6.1-2.1&stamp=1690878571&raw=0
https://buildd.debian.org/status/fetch.php?pkg=mmseqs2&arch=riscv64&ver=14-7e284%2Bds-2&stamp=1690917698&raw=0
https://buildd.debian.org/status/fetch.php?pkg=ocaml-dune&arch=riscv64&ver=3.9.1-1%2Bb1&stamp=1690975265&raw=0
https://buildd.debian.org/status/fetch.php?pkg=libint&arch=riscv64&ver=1.2.1-6&stamp=1690989462&raw=0

This happens only on rv-manda-01, and my guess would be that this might 
be a hardware problem (e.g. a nonworking fan).

Much worse than the build failures is that I wouldn't 100% trust that 
the contents of successful builds is not corrupted.

cu
Adrian