Symbol: intel_gpio_to_pin