ACPI-ETD0724 driver