[PATCH] lockdep: irqtrace subsystem, docs