[REQUEST] Kernel source for Xiaomi 17T Pro (warhol) - no bsp-warhol-w-oss branch

[soralis0912]

MiCode/Xiaomi_Kernel_OpenSource has no branch for the Xiaomi 17T Pro (warhol),
although the MediaTek module sources for the same device were published on
2026-07-03.

Device: Xiaomi 17T Pro (warhol), model 2602EPTC0G, MediaTek MT6993
Firmware: OS3.0.304.0.WPSJPXM (Android 16)
Kernel: 6.12.38-android16-5-g1d46253471dd-ab15048002-4k

What exists today:

repository	branch for warhol
MiCode/MTK_kernel_modules	bsp-warhol-w-oss (2026-07-03, "warhol open source")
MiCode/MTK_kernel_device_modules	bsp-warhol-w-oss
MiCode/kernel_build	bsp-warhol-w-oss
MiCode/Xiaomi_Kernel_OpenSource	none

Sibling devices do have one here: bsp-klimt-v-oss (15T Pro), bsp-chagall-w-oss,
bsp-degas-u-oss (14T), bsp-duchamp-u-oss. So warhol looks like an oversight
rather than a policy.

Without the kernel tree, the published module branches cannot be built: they are
external modules that need the GKI kernel headers, KMI symbol list and
build.config / BUILD.bazel from this repository.

Could you please publish bsp-warhol-w-oss here, matching the kernel that ships
in OS3.0.304.0.WPSJPXM?

Related: MiCode/MTK_kernel_device_modules#7 tracks the vendor modules whose
source is missing from the module branches.