riscv64 ist nun eine offizielle Architektur von Debian