Matej Kenda, The troubleshoot.txt clearly shows that your are using the proprietary Samsung driver and not the splix driver.
Matej Kenda,
The troubleshoot.txt clearly shows that your are using the proprietary Samsung driver and not the splix driver.