Additional debug output in ArduinoFlash