On 2020-12-09 11:25:34 [+0100], Mike Galbraith wrote:> Sebastian fixed this via...We still look if we go that road or update lockdep.Sebastian