GKI_KERNEL_CLANG_VER=r450784
KERNEL_BRANCH=android13-5.15
KERNEL_REPO=https://android.googlesource.com/kernel/common
VENDOR_KERNEL_MAKEVERSION=
VENDOR_KERNEL_COMMIT=
GKI_KERNEL_MAKEVERSION=5.15.31
GKI_KERNEL_COMMIT=9f08c9b8e047e7caa4f1ee2d8e5eb74225c6a5bd