gpiolib: translate pin number in GPIO ACPI callbacks