You're right that the ability to peer-review driver code makes for better drivers. I totally agree. I also think that designing better OSes is even more effective. I would rather design these kinds of problems out of a system rather than rely on human intervention to catch every single bug. Sort of like how compilers help us find type errors before our code even runs...