Re: How a months-old AMD microcode bug destroyed my weekend [UPDATED]