No. All you need is a normal FAT32-formatted usb drive, and create a folder named revert on it. Plug it in and then plug in the power, the device will go back to stock.
Arch Linux ARM exists and continues to grow through community support, please donate today!