ACPI-ETD0710 driver