What you see there isn't ath_hal, it's the free driver:
$ modinfo ath9k filename: /lib/modules/2.6.27-7-generic/kernel/drivers/net/wireless/ath9k/ath9k.ko license: Dual BSD/GPL description: Support for Atheros 802.11n wireless LAN cards.
This doesn't need ath_hal. Can you please give the output of "jockey-gtk --list"?
What you see there isn't ath_hal, it's the free driver:
$ modinfo ath9k 2.6.27- 7-generic/ kernel/ drivers/ net/wireless/ ath9k/ath9k. ko
filename: /lib/modules/
license: Dual BSD/GPL
description: Support for Atheros 802.11n wireless LAN cards.
This doesn't need ath_hal. Can you please give the output of "jockey-gtk --list"?