Comment 7 for bug 1500860

I'm reporting here that also Arduino community is being affected ( https://github.com/arduino/Arduino/issues/3923 )
We had one report in 15 days with the bug out but I fear the number will grow as soon as people update their kernels