Here you can find ACPI patches for the Samsung P10.