Thanks for the quick feedback! I may try that if needed but so far going back to the previous kernel has fixed the problem and I don't reboot frequently on that machine.

Thanks,
Richard