Saw a bug report where the user happened to have a 12.x.1 kernel.