Hello zopf,
I use the same equipment as you with mk4duo 3.4.6 since May 2018.
For now, I don't find a good configuration for MK4duo 3.4.7, when I compile with arduino 1.8.5, it's ok, but I download in the RADDS, it doesn't answer.
Sorry for my English.