Last kernel tested : 4.2.0-040200rc2-generic dmesg in attachement dmesg-4.2.0-040200rc2-generic.txt
The sound card still doesn't work.
I needed to reinstall Vivid from a 32bits live-usb so I switched the architecture tag to i386.
The clock source is now 'tsc' as it should be, so its a small improvement.
Last kernel tested : 4.2.0-040200rc2 -generic 2.0-040200rc2- generic. txt
dmesg in attachement dmesg-4.
The sound card still doesn't work.
I needed to reinstall Vivid from a 32bits live-usb so I switched the architecture tag to i386.
The clock source is now 'tsc' as it should be, so its a small improvement.