tools: fix splash version strings in ddci-core and ddci-tetra