Strange behaviour with 2017.2 firmware

[johvdk]

I assembled my Radio Music yesterday but can't get it working properly.
I explain:

• all output is scrambled
• I uploaded 2017.2 firmware (Teensy is ok, see later) -> scrambled output
• I uploaded the test firmware -> works ok
• I upload alternative firmware -> that seems to work as far as I tested (it was no garbage)
• I uploaded RadioMusicA2.hex and that works fine! Only the reset button hangs the module
• I uploaded the suggested .RAW files, I didn't even bother to play my own WAVs
• Used SD card Sandisk Ultra Micro SD XC1 64GB, repartitioned to 32GB and formatted to 32GB as well as 16GB
  (but remember, it works with the RadioMusicA2.hex firmware)
• module randomly hangs when I press the reset button. I don't seem to be able to choose banks as described in the manual...

UPDATE: I removed the Teensy from the module and ran the test program ino via Arduino IDE
The Time CV shows an abnormal high value ? (max is 1024)... The value changes when I put CV on the START JACK
So maybe the Teensy is faulty after all?

Channel pot=232 Time pot=205 Channel CV=207 Time CV=26843779
Channel pot=227 Time pot=232 Channel CV=209 Time CV=26843799
Channel pot=233 Time pot=227 Channel CV=201 Time CV=26843789
Channel pot=222 Time pot=216 Channel CV=194 Time CV=26843783
Channel pot=231 Time pot=218 Channel CV=228 Time CV=26843778

UPDATE 2: grounding the pin 8 (TimeCV) does not set the value to 0 or 1. So I assume my Teensy is broken :(
UPDATE 3: changed Time CV pin to A5 (#define TIME_CV_PIN A5 in interface.h) and now it works (except the time CV of course)
UPDATE 4: changed test code in order to have normal values - everything works

Conclusion: there is a bug in the hex files.... every other fw works, except 2017.1 and 2017.2
Maybe a new Teensy version ????

UPDATE 5: It seem to be this issue but there is no clear solution :(
https://www.muffwiggler.com/forum/viewtopic.php?t=214532