ACPI-ETD0725 driver