platform_pio_get_num_pins(): import from eLua.