I am attempting to get the broadcom 94306 running under gentoo 64bit on my HP zv5225us laptop. I believe the basp module is only for the broadcom ethernet adapter, and not their WLAN adapter, so this wouldn't work for you.
I have received the following URL from HP Tech support (surprisingly) that has instructions for Debian Sid and references the files we need.
http://bellsouthpwp.net/s/e/sedlabs1/hpze5620.html
Aside - I would prefer to run Debian Pure64, but wrestled with it too long, so use gentoo 64 now and have been basically pleased with it.
I am working on this driver installation now and will let you know if i am successful with my chipset and distro. Check it out.