And the PS3 before it. And the WiiU, and the Wii. And every AMD chip since about 2013 (AMD Platform Security Processor, their equivalent of Intel's ME).

Honestly, pretty much every complex electronic device (and quite a few not so!) out there has a bunch of ARMs inside of it doing system management. This is borderline a non-story IMO.

Hell, an ARM7TDMI was a pretty common core to use on SD cards a few years back. The damn things are everywhere.