Thanks - that kernel upgrade fixed a bunch of issues such as browser freezes and problems with a USB mouse. One other problem that is much better after the kernel upgrade as well but not sure if...