ACPI-SYN3258 driver