Yes, this is fixed by 20200609 release:
microcode: microcode updated early to revision 0xd6, date = 2020-04-23 microcode: sig=0x806ec, pf=0x80, revision=0xd6 microcode: Microcode Update Driver: v2.2.
Yes, this is fixed by 20200609 release:
microcode: microcode updated early to revision 0xd6, date = 2020-04-23
microcode: sig=0x806ec, pf=0x80, revision=0xd6
microcode: Microcode Update Driver: v2.2.