ACPI-ETD042C driver