Thank you for your suggestion. Unfortunately, I cannot use the "gpio -g mode" command, because GPIOs 35, 64 and 66 do not have BCM values assigned to them, as seen in my question. Maybe the Linux device tree needs to be modified in order to define these pins as regular GPIOs? If so, then h...