George,
it is possible to reprogram the flash device of the system yourself provided you have a Raspberry Pi connected to it. The python support package included with this EVM provides a script for reflashing the system over SPI (regardless of whether…