3 ms·

Note that this is a Xen bug, not an Intel bug. That said, those who believe the x86 instruction set is too complex do have one more argument now.