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