Bought this card: https://www.ebay.co.uk/itm/Atheros-Dual-Band-Mini-PCIE-Full-Size-Wireless-WiFi-Card-AR5BXB112-AR9380-W040/302024942290?epid=6004057245&hash=item465216e2d2:g:RksAAOSwDrNZUCRg
Confirmed working with Trisquel and Parabola and it does work with 5GHz.