I have attached an (untested) patch to fix this issue hoping that that will prod it along a bit. The patch is against the sources of `linux_3.13.0-67.110` as downloaded by an `apt-get source linux=3.13.0-67.110` on 14.04.3.
Cheers, Seb
I have attached an (untested) patch to fix this issue hoping that that will prod it along a bit. The patch is against the sources of `linux_ 3.13.0- 67.110` as downloaded by an `apt-get source linux=3. 13.0-67. 110` on 14.04.3.
Cheers,
Seb