Как сотворить сабж:
повике с intel-microcode
linux # iucode_tool -S -l /lib/firmware/intel-ucode/*
microcode bundle 85: /lib/firmware/intel-ucode/0f-04-09
microcode bundle 86: /lib/firmware/intel-ucode/0f-04-0a
microcode bundle 87: /lib/firmware/intel-ucode/0f-06-02
microcode bundle 88: /lib/firmware/intel-ucode/0f-06-04
microcode bundle 89: /lib/firmware/intel-ucode/0f-06-05
microcode bundle 90: /lib/firmware/intel-ucode/0f-06-08
linux # grep -i microcod .config
CONFIG_MICROCODE=y
CONFIG_MICROCODE_INTEL=y
# CONFIG_MICROCODE_AMD is not set
CONFIG_MICROCODE_OLD_INTERFACE=y
grep -i FIRMWARE .config
CONFIG_PREVENT_FIRMWARE_BUILD=y
CONFIG_FIRMWARE_IN_KERNEL=y
CONFIG_EXTRA_FIRMWARE="intel-ucode/0f-06-08"
CONFIG_EXTRA_FIRMWARE_DIR="/lib/firmware/"
но все равно
linux # dmesg | grep microcode
[ 0.000000] [Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x52 (or later)
[ 1.560526] microcode: sig=0x906e9, pf=0x2, revision=0x42
[ 1.560722] microcode: Microcode Update Driver: v2.2.
[ 84.918762] microcode: updated to revision 0x5e, date = 2017-04-06