I was able to help this person by recommending the backported package of driver our kernel team provides. I had a hunch this would work because I happen to have the same hardware. I suspect it might be able to help this person too however I am not sure which drivers get backported.
I did a apt-get source linux-backports-modules-wireless-maverick-generic
but this just gives me a debian directory with the packaging with no indication of what drivers get included. Where can I find which drivers get backported?
Ideally I'd like to find a web page that has this information so I can refer to it for older releases as well.