The text 6496c4f38ff8, as Debian 7 (Wheezy) shipped it.
register a driver with the ACPI bus
acpi_bus_register_driver(9) on Linux now