add ids for pinmuxing on 3.8.x devicetree kernels