Hi David,

Noticed this lockdep warning. As rc4 is already out for a while it may
already be known. It happened upon initial login, but that may have been
a coincidence. Attached are the dmesg output and the kernel configuration.

Regards,
Arend