The kernel fix is also in the 3.10-rc4 kernel available at http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-rc4-saucy/
The released Saucy kernel version can be monitored at https://launchpad.net/ubuntu/+source/linux
The kernel fix is also in the 3.10-rc4 kernel available at http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.10-rc4- saucy/
The released Saucy kernel version can be monitored at https:/ /launchpad. net/ubuntu/ +source/ linux