mpc85xx-p1020: add Extreme Networks WS-AP3825i (#2495)

docs/user/supported_devices.rst

@@ -229,6 +229,10 @@ mpc85xx-p1020
 
   - WS-AP3710i
 
+* Extreme Networks
+
+  - WS-AP3825i
+
 * OCEDO
 
   - Panda

targets/mpc85xx-p1020

+local ATH10K_PACKAGES_QCA9880 = {
+	'kmod-ath10k',
+	'-kmod-ath10k-ct',
+	'-kmod-ath10k-ct-smallbuffers',
+	'ath10k-firmware-qca988x',
+	'-ath10k-firmware-qca988x-ct',
+}
+
 -- Aerohive
 
 device('aerohive-hiveap-330', 'aerohive_hiveap-330', {
@@ -12,6 +20,14 @@ device('enterasys-ws-ap3710i', 'enterasys_ws-ap3710i', {
 })
 
 
+-- Extreme Networks
+
+device('extreme-networks-ws-ap3825i', 'extreme-networks_ws-ap3825i', {
+	factory = false,
+	packages = ATH10K_PACKAGES_QCA9880,
+})
+
+
 -- OCEDO
 
 device('ocedo-panda', 'ocedo_panda', {