[wmf]

The Honeycomb is older than RPi 4 so it made some sense at the time. It should still be faster for builds because of the 16 cores and the Honeycomb has far more I/O for people who need that.