Well, it seems that switching the WLAN in the BIOS to on and from
Alt+FN2 to Application did the trick. It works now - weird, under
Gentoo it also worked with the other settings
** Summary changed:
- BCM4309 starts firmware and reports radio working but doesn't find any
networks
+ BCM4309
** Attachment added: BootDmesg.txt
http://launchpadlibrarian.net/28909876/BootDmesg.txt
** Attachment added: CurrentDmesg.txt
http://launchpadlibrarian.net/28909877/CurrentDmesg.txt
** Attachment added: Dependencies.txt
http://launchpadlibrarian.net/28909878/Dependencies.txt
**