03:00.0 Network controller: Intel Corporation PRO/Wireless 4965 AG or AGN
[Kedron] Network Connection (rev 61)
It is an Intel chipset, not an Atheros one. There is no free firmware for
Intel chipsets.
Like Heather wrote, you need a Wifi dongle with a supported chipset. AR9170,
AR9270 or AR9271 for instance. The problem is: it is tough to know the
chipset of a given model and, worse, a same model may be sold with different
chipsets along its life (that is probably why, it is not even written on the
wrapping). The safest solution is to buy from http://libre.thinkpenguin.com
or http://tehnoetic.com (to the best of my knowledge, the only two vendors
that guarantee that all their hardware work with Linux-libre, Trisquel's
kernel). Or you take advice from
https://trisquel.info/forum/14-fantastic-wifi-adaptor-tp-link-tl-wn722n (a
recent post) and hope the chipset has not changed since then. Or you can try
the second-hand market (if the vendor indicates the chipset).
I advise against substituting the internal card: Lenovo is known to
white-list peripherals they "accept". A DRM at the hardware level...