[GNU Kernel Source Code request] Redmi 13C 4G (gale/gust)

[CJ001im]

Hello, It's been almost a year since the Redmi 13C 4G got released, and we, the community, need the source code of the kernel. There's a lot of issues on here asking for the source code, and the Linux kernel is GNU, so please release the source code of the kernel.