Comment # 7 on bug 938440 from Takashi Iwai

You'll need to reinstall nvidia driver to rebuild the module by itself, I
suppose.

But note that we can't debug anything as long as you use such a binary only
stuff.  This is the obvious trade-off.