ACPI-ETD0417 driver