ACPI-ETD0672 driver