lisa._assets.kmodules.lisa: Support lockdep subclasses

FEATURE

Support mutex_lock_nested() and similar functions so that state
transitions of an object owning a lock can be modelled using subclasses,
one for each such state. This avoids having to change the lockdep class
itself, which is impossible to do soundly after the mutex has been
shared with entities that may lock them at any time.