If you read the link you'll see they've fixed it with a microcode update.