core/linux fix gpio problems related to bubba3 gpio driver.(Fixes #558)