I installed the kmod-ath10k package. Is that not sufficient? It’s not clear to me which of the ath10k driver packages I should install as they refer to two different device IDs. Could you point me towards the correct one?