TX2i pci-e Wifi (ath9k/ ath10k)

I am trying to set up a pci-e wifi module on the TX2i with Spacely Connecttech carrier board. We have tried using two different pci-e modules, Qualcomm Atheros AR9580 and Qualcomm Atheros QCA9890 (ACM-DB-2), using respectively ath9k and ath10k as kernel drivers.

1. Qualcomm Atheros AR9580
For the QCA9890 I have not been able to find the correct firmware, resulting in no communication with the chip. Is there someone who has got this to work with TX2/TX2i?

2. Qualcomm Atheros QCA9890
With the AR9580 chip, things worked more out of the box and I am able to connect to wifi by manually connecting with wpa_supplicant, but the wifi is not found by the linux network manager. For this option I still have not found a solution how to automatically connect to a wifi on startup.
This is mostly due to my inexperience setting up network devices on linux, but is there someone who could provide help with this?

Could you directly check with Qualcom with the fw?

or check below link to see if this firmware exists
https://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git/

Could you share syslog or dmesg? Do you see wlan interface during boot up?