Installed the desktop version of Armbian (bionic) on Asus Tinker Board S and noticed that the GPIO Pin 40 is always high on boot up. Please let me know whether this is high by default for any reason and if possible how to set it to Low while start up.