Am 17/10/2015 um 06:05 μμ schrieb Colin Law: > That is not the normal 14.04.3 kernel. It should be 3.13.0-65 I just did the installation as well as i ran: sudo apt-get dist-upgrade. Nothing fancy or compilation from git another kernel. Thank you, Diamantis