lockdep: sanitise CONFIG_PROVE_LOCKING