The text aaa8a2d22c9a, as Debian 10 (Buster) shipped it.
ACPI to WMI mapping driver
acpi_wmi(4freebsd) on Linux now
