Well, I solved this. I decided to leave the laptop alone for a while. After doing this, I had another go at installing Debian, and it found both network devices (the Broadcom and the wireless), and the Debian Installer obtained the non-free driver for the wireless that I provided on my usb-stick. So, it turns out the laptop was just tired. It worked perfectly after it was rested.
Mark -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110807041206.18210...@torfree.net