SD card read/write with Arduino

Right, good point. A user upgrade would consist in copying the hex file on the SD card, easier than asking the user to go through the Arduino IDE.