[bonzini]

Nah, it's just the well-known issue with the microcode being buggy. There's nothing new really.