I just joined to say thanks for the link Warre1. The description for the KB had me expecting microcode 0xB4 on my i7-8700K, so I was very confused when I booted with microcode 0xDE 🤔