ACPI-SYN3251 driver