ACPI-SYN3254 driver