First of all thanks Wajk, for this great rom.
WSM is working for me in Version 2.3.5.
I also use Mi-Tools in Version 2.0.7 and only changed Icon Size, Hide the app names in the Dock und use Volume Keys as Cursor.
I ve got no Reboots with this Settings, only Fc when I want to change the Theme...