pisilinux-dev-tools: fix sha1sum