I cannot say what the cause is, I just described the symptoms. I'm pretty sure that a kernel maintainer could make the same objection. P.S.: sorry for changing priority. Being just a report, I did not expect to be able to change fields that I am not allowed to change. I got no feedback that the issue 'got into the system' and after a week I looked for a possible cause.