Драйвер IPMI BMC KCS необходим для сервера Intel, рекомендуемый источник отсутствует в сети

После установки lm-sensors в 18.04.1 LTS я побежал sudo /etc/init.d/mod start как он и просил. Это показало, что драйвер IPMI BMC KCS отсутствовал в установке Ubuntu на сервере, поэтому я пошел в качестве запуска модов по http://www.lm-sensors.org/wiki/Devices. Этот URL-адрес не выполнен, и, согласно https://web.archive.org/web/20150813204337/http://www.lm-sensors.org/wiki/Devices он работает в AWOL с 2016 года.

Где вы сейчас найдете драйверы IPMI?