This file is from 2016, apparently, so Apple has likely been using this for quite some time. It's possible that Apple found it convenient to run certain things (guesses: some IoT thing or prototyping a small embedded processor like the one inside the Lightning Digital AV Adapter) on a Raspberry Pi rather than a full-blown A-series core or other chip that is inconvenient due to {price, availability, etc.}.