[jibanes]

Is it fixable by microcode update?

[cperciva]

Very unlikely. The key issue here is that traps aren't handled until a long way down the pipeline.

But it's a (relatively) simple OS fix.