I'd say if lspci -n returns a device 10b7:0013, that your chances >are very good.
It does. But..
ifconfig ath0 ath0: error fetching interface information: Device not found
But does the driver work? What does ifconfig ath0 say? If it says anything and can display a MAC, it looks very good from the driver's side. Next comes scripting your network init stuff.