ACPI-ETD0731 driver