Пример поиска информации в базе проб оборудования linux-hardware.org. Работает ли ACPI на Ryzen в GNU/Linux?

Захотел я проверить распространяемую яблочниками в одной группе Вконтакте порочащую репутацию GNU/Linux (дез)информацию, что ACPI якобы не работает на Ryzen в GNU/Linux.

Ищем райзены в базе оборудования: https://linux-hardware.org/index.php?view=search&name=ryzen&typeid=all#list
Берем первый попавшийся комп, например, https://linux-hardware.org/index.php?probe=2574b6dc38
Открываем лог cpupower из него https://linux-hardware.org/index.php?probe=2574b6dc38&log=cpupower, где прямым текстом написано, что ACPI работает, и в момент снятия лога проц работал на частоте 1.55 ГГц из доступной 3.20 ГГЦ.

frequency-info
--------------
analyzing CPU 0:
driver: acpi-cpufreq
CPUs which run at the same hardware frequency: 0
CPUs which need to have their frequency coordinated by software: 0
maximum transition latency: Cannot determine or is not supported.
hardware limits: 1.55 GHz - 3.20 GHz
available frequency steps: 3.20 GHz, 2.80 GHz, 1.55 GHz
available cpufreq governors: conservative userspace powersave ondemand performance schedutil
current policy: frequency should be within 1.55 GHz and 3.20 GHz.
The governor "ondemand" may decide which speed to use
within this range.
current CPU frequency: 1.55 GHz (asserted by call to hardware)