fix: update WASI SDK 25 linux checksums in both JSON and hardcoded registry

Complete the checksum fix by updating both:
- checksums/tools/wasi-sdk.json (linux_amd64, linux_arm64)
- checksums/registry.bzl hardcoded values (linux_amd64, linux_arm64)

This resolves CI failures where the hardcoded registry was still using
the old checksum while JSON had the new one.

Author: avrabe

checksums/registry.bzl

@@ -187,11 +187,11 @@ def _get_hardcoded_checksums(tool_name):
                             "url_suffix": "macos.tar.gz",
                         },
                         "linux_amd64": {
-                            "sha256": "fa46b8f1b5170b0fecc0daf467c39f44a6d326b80ced383ec4586a50bc38d7b8",
+                            "sha256": "52640dde13599bf127a95499e61d6d640256119456d1af8897ab6725bcf3d89c",
                             "url_suffix": "linux.tar.gz",
                         },
                         "linux_arm64": {
-                            "sha256": "fa46b8f1b5170b0fecc0daf467c39f44a6d326b80ced383ec4586a50bc38d7b8",
+                            "sha256": "52640dde13599bf127a95499e61d6d640256119456d1af8897ab6725bcf3d89c",
                             "url_suffix": "linux.tar.gz",
                         },
                         "windows_amd64": {

checksums/tools/wasi-sdk.json

@@ -20,7 +20,7 @@
           "url_suffix": "linux.tar.gz"
         },
         "linux_arm64": {
-          "sha256": "fa46b8f1b5170b0fecc0daf467c39f44a6d326b80ced383ec4586a50bc38d7b8",
+          "sha256": "52640dde13599bf127a95499e61d6d640256119456d1af8897ab6725bcf3d89c",
           "url_suffix": "linux.tar.gz"
         },
         "windows_amd64": {