mpc85xx-p1010: add Sophos RED 15w rev.1 (#2438)

This adds support for the Sophos RED 15w rev.1 gateway.

It is a branch-office SD-WAN device based on the P1014 networking SoC.

Signed-off-by: David Bauer <mail@david-bauer.net>

docs/user/supported_devices.rst

@@ -197,6 +197,10 @@ mediatek-mt7622
 mpc85xx-generic
 ---------------
 
+* Sophos
+
+  - RED 15w Rev.1
+
 * TP-Link
 
   - TL-WDR4900 (v1)

targets/mpc85xx-p1010

+-- Sophos
+
+device('sophos-red-15w-rev.1', 'sophos_red-15w-rev1', {
+	factory = false,
+})
+
+
+-- TP-Link
+
 device('tp-link-tl-wdr4900-v1', 'tplink_tl-wdr4900-v1')