Как устранить ошибку прошивки (TSC_DEADLINE отключен)?

Я использую Ubuntu Server 16.04.3 с ядром 4.13. В dmesg я могу видеть

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

Я установил последнюю версию intel-microcode (3.20170707.1~ubuntu16.04.0) и microcode.ctl (1.18~0+nmu2). После перезагрузки я мог видеть в 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

Как я могу получить микрокод 0x700000e?