On Friday, 4 August 2023 15:11:46 CEST Olaf Skibbe wrote:
(On the occasion a maybe silly question: am I right assuming that the kernel has to be build on the machine we want to reproduce the bug on? Otherwise it could use much faster hardware (running also bookworm).)
If that is also an amd64 machine running Debian kernel 6.1.38-2, it should be fine to build the kernel on the faster machine.