there is only 5.17.5 debuginfo available. I installed 5.17.5 now and if the machine crashes again, this will be the kernel which will be booted, so I'll continue testing with 5.17.5.