arm, da850evm: Use the pinmux configurations defined in the arch tree