Cool. Could you install and probe a kernel with lockdep enabled: https://build.opensuse.org/project/monitor/home:jirislaby:stable-lockdep ?