How a Kernel Bug Froze My Machine: Debugging an Async-profiler Deadlock