Thanks very much Salvatore for the helpful reply. I tested with linux-image-6.16.5+deb14-amd64 and the same thing happens. So I sent my report to the addresses that you suggested.