Comment 22 for bug 1579190

Hi Tim Passingham (tim-8aw3u04umo),

you are not using the patched kernel.
The patched is: 4.4.0-22-generic #40+lp1579190
And you are using: 4.4.0-24

What might have happened is that you installed the patched kernel and then you updated Ubuntu and 4.4.0-24 was installed and set as the default kernel.
So after you restarted your machine your OS is not running the patched kernel any more.
To run the patched kernel you either have to modify the default kernel in the GRUB configuration or explicitly choose the patched kernel on startup.

BTW, I'm running 4.4.0-22-generic #40+lp1579190 since few days without any issues.
Any chance for this patch to get into the Ubuntu 16.04 repositories?