ACPI-SYN3259 driver