ACPI-ETD040B driver