I just wanted to report that I eventually cured the problem by disabling some bios option to do with power save states.
I just wanted to report that I eventually cured the problem by disabling some bios option to do with power save states.