Ubuntu 17.10 [Ошибка прошивки]: TSC_DEADLINE

Я установил новейшую Ubuntu 17.10, и я получаю эту ошибку во время загрузки: Код:

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

Системы загружаются без каких-либо проблем, кажется, все работает нормально. Система полностью обновлена. Мне интересно, почему эта ошибка показывает. Моя модель ноутбука - Lenovo ThinkPad 450s, на которой установлены последние версии драйверов.

Моя модель процессора: Код:

Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz (family: 0x6, model: 0x3d, stepping: 0x4)

Я использую эту систему под последней версией VMware Player 14.0.0 build-6661328 (64-разрядная версия Windows 7). Под этой виртуальной машиной Intel VT-x/EPT включен.