How is one meant to run builds of this repo on personal Mibox devices? Are there any particular tools to use to flash the resulting builds?