Helper idapython code for reversing kmdf drivers - View it on GitHub