I finally found the other thread. It’s here: http://forum.mikrotik.com/t/rb4011-and-rb1100-ahx4-bricks-randomly/130638/1
And yes, our problem is similar to at least one thing reported there.
I’ll go through that thread in more detail…
Thanks again!