A new HAL has been made available by Sam Leffler (0.10.5.6) that supports AR2425 chips (AR5007* chipsets). This is a full HAL release so it should work for all platforms - that means x86-64.
The new HAL is currently in a branch, but should hopefully, barring any other issues, be migrated to trunk soon. Tarballs are available from http://snapshots.madwifi-project.org/madwifi-hal-0.10.5.6/ and Subversion access is at http://svn.madwifi-project.org/madwifi/branches/madwifi-hal-0.10.5.6.
Please use the instructions as in UserDocs/FirstTimeHowTo to compile the code, but substituting the relevant parts for acquiring the source.
Also, it appears that you must reboot if you have loaded a HAL of a different version (this makes me deeply sad - it's not Windows).
Please only report issues other to those in trunk to this ticket. This does not mean issues in the compilation or normal use of the driver. You pretty much must try the regular support channels first.
Original Description - for history purposes only, contains no instructions or information you need to follow today to get AR5007 support:
The Abit AirPacer WLP-01 PCI-Express x1 802.11g adapter PCI device-id 001c returns "HAL status 13". I have tried the HAL SVN branch, and HAL 0.9.30.7 from people.freebsd.org/~sam/ath_hal-20070201.tgz still not supported. I have verified the chipset in the summary by visual inspection (i.e., I opened the RF shield and looked inside)