Pegatron ACPI device driver