The text 14727bea0300, as Debian 4.0 (Etch) shipped it.
register a driver with the ACPI bus
acpi_bus_register_driver(9) on Linux now
