Thanks but since the problem is intermittent on my box (only 2 in 20 days), and there is no test case to recreate issue that I can find, so I can't recreate...
and since I prefer to stay with apt-get, I will wait for the normal release, which hasn't happened yet: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1300455
Thanks but since the problem is intermittent on my box (only 2 in 20 days), and there is no test case to recreate issue that I can find, so I can't recreate...
and since I prefer to stay with apt-get, I will wait for the normal release, which hasn't happened yet: /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/1300455
https:/