[PATCH 1/2] ARM: dts: pandaboard: fix pinmux for gpio user button of Pandaboard ES