Como resolver o bug de firmware (desabilitado TSC_DEADLINE)? [fechadas]

Question

Eu uso o Ubuntu Server 16.04.3 com o kernel 4.13. Em dmesg posso ver

[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x700000e (or later)

Instalei o mais recente intel-microcode (3.20170707.1 ~ ubuntu16.04.0) e microcode.ctl (1.18 ~ 0 + nmu2). Após a reinicialização, pude ver em dmesg

[Пт окт  6 15:37:25 2017] [Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x700000e (or later)
[Пт окт  6 15:37:25 2017] microcode: microcode updated early to revision 0x700000d, date = 2016-10-12

Como posso obter o microcódigo 0x700000e?