ACPI\ETD0742 driver