Formal GPL Compliance Request - Release complete corresponding kernel source for spinel (Linux 6.12.30)

Hello Xiaomi Open Source Compliance Team,

I am submitting a formal request for the complete corresponding source code (CCS) for the Linux kernel binaries distributed on the following Xiaomi device/firmware:

Device and firmware details:

Device: Redmi Note 15 4G
Codename: spinel
OS: HyperOS 3.1 (Android 16)
Kernel reported on device: Linux 6.12.30
Region/build version: [please insert exact build number]
Build fingerprint (optional): [please insert]
Request under GPL obligations:
Please provide the complete corresponding source code for the exact distributed kernel build, including:

Full kernel source matching the shipped kernel binary (Linux 6.12.30)
All Xiaomi/vendor modifications and patches used in that shipped build
Exact defconfig and any other config fragments used
Device tree sources and related kernel build files required to produce equivalent binaries
Source code for all GPL-covered kernel modules shipped with this firmware
Build scripts/instructions sufficient to reproduce the distributed kernel binaries
Compliance concern:
At this time, publicly available Xiaomi source for this device appears limited to kernel 5.10, while the distributed firmware is running Linux 6.12.30.
Publishing 5.10 source does not satisfy GPL requirements for a firmware release that distributes a 6.12.30 kernel binary.

Please provide:

A direct URL to the exact corresponding 6.12.30 source release for spinel, or
A concrete publication timeline/date if it is not yet published.
This is a good-faith compliance request under GPLv2 (Linux kernel licensing terms). I would appreciate a written response and tracking reference for this request.

Thank you.

Start by checking the repository's publicly available sources for the spinel device and comparing them with the reported Linux 6.12.30 kernel. Done means providing a direct URL to the exact corresponding source release, or a concrete publication timeline for it.