I have tried to switch to the newest stable kernel - 3.10.2 Unfortunately it still doesn't start when anything is connected to one of USB 3.0 ports... -- Wojtek