I wonder if the intermittent loud buzzing might be a different problem?

Doesn't seem like that would be caused by the driver not being loaded properly, but hopefully I'm wrong about that!