VENDOR_KERNEL_CLANG_VER=r445002
GKI_KERNEL_CLANG_VER=r445002
KERNEL_BRANCH=android13-5.15
KERNEL_REPO=https://android.googlesource.com/kernel/common
VENDOR_KERNEL_MAKEVERSION=5.15.25
VENDOR_KERNEL_COMMIT=f154a239c34df6de48f5f4eab5b95755235e1d43
GKI_KERNEL_MAKEVERSION=5.15.25
GKI_KERNEL_COMMIT=f154a239c34df6de48f5f4eab5b95755235e1d43