@Hui Wang: The additional line worked. Following your steps the bug could no longer be reproduced with kernel 5.1.5-050105. Thanks a lot. Would it be suitable to apply these changes as default or to propose them commented out in the config file?
@Kai-Heng Feng: Your kernel worked, too. I tested it with the additional line and without: The bug could not be reproduced in both cases.
Thanks for your comments
@Hui Wang: The additional line worked. Following your steps the bug could no longer be reproduced with kernel 5.1.5-050105. Thanks a lot. Would it be suitable to apply these changes as default or to propose them commented out in the config file?
@Kai-Heng Feng: Your kernel worked, too. I tested it with the additional line and without: The bug could not be reproduced in both cases.