With regard to my original problem, when I checked inside my computer case I found the chipset fan had failed. I have replaced this and now all seems to be well, so I guess the problem was a hot chipset. Just to let you know for future reference, and thanks for your suggestions.