On Tue, Nov 20, 2018 at 11:55:54AM +0100, Sylvain GALLIANO wrote: > No issue using patched kernel on 2 servers (under stress test since +2 > hours), Thanks ! Thanks for your help. This is fixed in head now, and I'll try and get the change into 12.0.