Redmi Note 15 got its kernel source before Redmi Note 14 4G

[Emadeid05]

Hi,

Redmi Note 15 already has its kernel source available in the Xiaomi Kernel OpenSource repository.

Meanwhile, Redmi Note 14 4G (tanzanite) is still missing its kernel source despite receiving a kernel upgrade from Linux 5.10 to 6.12 months ago.

Can Xiaomi clarify why a newer device has received its source while Redmi Note 14 4G is still waiting?

Thanks.