Thank you for your tip. I set wlan0 as the wireless device, but wicd still said no wireless connection. I have decided to download the latest 3.0.4 stable kernel source from www.kernel.org and try using make-kpkg to make a new Debian package with the new kernel configured for my laptop. Watch this space for news. :-)