How to debug deadlocks in KEXT?