You can get Raspberry Pi's Zero W for €12 in quantity now, and you can get even cheaper with AllWinner designs. If you must have an Ethernet port the Pi 2 Model B sells for €25 or get the NanoPi M1 for €8. *
Also you get full Linux with these, not some cut down Microchip proprietary "Harmony" stuff.
I'm not even saying ESP32 because that wasn't generally available at the time the Kickstarter was launched, but that chip alone could replace 50%+ of the current gateway PCB area at 1/10 the cost - and it runs an open source FreeRTOS build.
So I'd add that PIC32MZ and Harmony environment choice don't make sense to me both in price and openness.
( * the AllWinner H3 SoC is just $2.50 from my premier China suppliers )