ACPI-ETD040C driver