From the device ID, your wifi card might use AR5007 chipset. A binary package is avaible for ar5007, but only 32bit is available now. Could you try with it? Here is the link. http://opensolaris.org/os/community/laptop/downloads/ath-x86-ar5007eg-pkg.tar.gz
Regards, Judy
