As I said, "I was using the patched kernel, with no problems". I was away for a few days so have probably only run 4.4.0-22-generic #40+lp1579190 for 4 or 5 days in all, so far without seeing the problem, but it is transient.
4.4.0-24 didn't display the fault for a couple of days, and then did today.
As I said, "I was using the patched kernel, with no problems". I was away for a few days so have probably only run 4.4.0-22-generic #40+lp1579190 for 4 or 5 days in all, so far without seeing the problem, but it is transient.
4.4.0-24 didn't display the fault for a couple of days, and then did today.