pisilinux-dev-tools: version bump