Eric Dumazet [Wed, Oct 19, 2011 at 03:05:29PM +0200]:> [...]> make menuconfig> -> Kernel hacking> -> Lock debugging: prove locking correctnessAlright, rebuilding.Nico-- PGP key: 7ED9 F7D3 6B10 81D7 0EC5 5C09 D7DC C8E4 3187 7DF0