If I've ever had problems with it, it's because of the version of the microcode. Download Samsung Wizard and update the microcode. I was getting weird errors like bluescreens and lags / and instabilities without really understanding how or why. After spending 3 hours debugging with WINDBG, I realised that it was coming from the controller driver.