Finding driver bugs with DR. CHECKER

Why not? It's a provable statement, see the numbers that Google has provided as to where the kernel crashes they get all come from (hint, it's not the core kernel, nor in the upstream driver code...)

So this is a good thing to work to help solve, which is why we run so many different code checking tools, to ignore the state of out-of-tree driver quality is to not work to solve a real problem.