platforms/android-23/core-for-system-modules.jar missing

I'm trying to build my library for Android using Bazel, and depending on the way I install the SDK things fail.

For this issue, we using bzlmod.

To reproduce, I first install the SDK in /tmp/core-for-system-modules-repro/

```
rm -rf /tmp/core-for-system-modules-repro
mkdir /tmp/core-for-system-modules-repro
cd /tmp/core-for-system-modules-repro
mkdir sdk_with_23/
mkdir sdk_with_30/
mkdir sdk_with_23_and_30

wget https://dl.google.com/android/repository/commandlinetools-linux-8512546_latest.zip
unzip commandlinetools-linux-8512546_latest.zip

yes | cmdline-tools/bin/sdkmanager --sdk_root=/tmp/core-for-system-modules-repro/sdk_with_23/ "build-tools;30.0.3" "platform-tools" "platforms;android-23"
yes | cmdline-tools/bin/sdkmanager --sdk_root=/tmp/core-for-system-modules-repro/sdk_with_23_and_30/ "build-tools;30.0.3" "platform-tools" "platforms;android-23" "platforms;android-30"
yes | cmdline-tools/bin/sdkmanager --sdk_root=/tmp/core-for-system-modules-repro/sdk_with_30/ "build-tools;30.0.3" "platform-tools" "platforms;android-30"
```

We then create `MODULE.bazel` and `.bazelversion`:

```
cat > MODULE.bazel < .bazelversion <