ACPI-ETD1000 driver