ACPI-ETD0740 driver