MX31: mx31pdk: make use of GPIO framework