ACPI\ETD0740 driver