Comment 128 for bug 254668

Thanks Carl, so in your case the timer interrupt override is unchanged (which I know has been changed to ignore for some board vendors) but still the problem goes away. So the hint from Luis seems reasonable. Interestingly I believe I had tried those on a system locally and had not seen any change.
Be it as it is, Carl, as you are the initial submitter, you think we just go the pragmatic way and close this as fixed (even without ultimate prove on what exactly fixed it)?