I have just compiled the newest 3.9.2 kernel. Dell Vostro 3750 still doesn't boot when anything is connected to one of USB 3.0 connectors :-(. -- WZab