I get the following output from dmesg:
```
[    0.000000] microcode: microcode updated early to revision 0xb4, date = 2019-04-01
[    0.797592] microcode: sig=0x806ea, pf=0x80, revision=0xb4
[    0.797678] microcode: Microcode Update Driver: v2.2.
```