No, I had checked the settings, and the buffer size has not changed.
I have to say I am still confused as to why, technically, bringing up the MixConsole could cause audio dropout. Maybe a processor issue?
Anyway, I have just taken delivery of a new graphics card to the required spec (a MSI GT 720) so I’ll install that over the weekend and see what happens.