Re: Finding GPIO names under Linux