• Intel microcode support - Nov 2019, Nov 2019 (cached) Jan 2020
• RedHat's microcode advice Nov 2019
• Intel's github repository of microcode files
• Identifying the CPU model from the CPUID value published in the above document
  • The concatenated 1st and 4th values of the CPUID are the hexadecimal equivalent of the value of 'model' return by /proc/cpuinfo
  • For example, a CPUID of '20655' => x25 => 37

-- AlastairScobie - 14 Aug 2019