BugChecker: kernel and user debugger for Windows 11