On Fri, Dec 02, 2016 at 11:23:09AM -0800, Andy Lutomirski wrote: > Not even firmware loading wants it. Firmware loading needs
Microcode...
> specifically cpuid(eax=1). It has nothing to do with serializing
... but yes, of course. NOT sync_core() but CPUID(1).
Thanks!
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.

