Another option is Apple-pi baker, https://www.tweaking4all.com/hardware/raspberry-pi/applepi-baker-v2/ , it was the recommended tool on the Arkos wiki so I grabbed it for that. Worked out well, both arkos and 351elec flashed without any problems.