Nope, I just followed the steps in the debian bug report. The driver got built and installed and ran depmod -a and then rebooted. Just make sure you haven't updated your kernel in the meantime because the driver only installs in the current kernel installed. For example, if you copied the .ko drivers in the wrong kernel version directories, you won't get 3D support because that kernel version is not currently loaded.
Nope, I just followed the steps in the debian bug report. The driver got built and installed and ran depmod -a and then rebooted. Just make sure you haven't updated your kernel in the meantime because the driver only installs in the current kernel installed. For example, if you copied the .ko drivers in the wrong kernel version directories, you won't get 3D support because that kernel version is not currently loaded.