The text f3aa185db1a9, as Debian 9 (Stretch) shipped it.
ACPI extras driver for HP laptops
acpi_hp(4freebsd) on Linux now
