Сменил системную плату. У новой теперь UEFI. Перестал грузиться модуль acpi_cpufreq. До этого как-то не было нужды интересоваться спецификой использование железа с UEFI под Linux. Но вот теперь встал закономерный вопрос. Чтобы под Linux использовать возможности ACPI на системной плате с UEFI может быть необходимо новое/особое ядро, или дополнительные модули?
