ACPI-SYN3051 driver