ACPI-ETD0711 driver