Control: user debian-riscv@lists.debian.org Control: usertag 1059340 + riscv64 Just to be clear, I've only observed this behavior on riscv64.