ACPI-ETD0639 driver