ACPI-ETD0745 driver