ACPI-ETD0742 driver