tree 1d390021ec0a3956888c3ea674ceed7e6201ffe5
parent 0555acc1f7bfb2b30d1a6dab4414cb4c33dbfbe6
author Cole Faust <colefaust@google.com> 1691095767 -0700
committer Cole Faust <colefaust@google.com> 1691095767 -0700

Fix kernel build tools

That build doesn't set platform_sdk_version.

Bug: 269577299
Test: ./prebuilts/kernel-build-tools/build-prebuilts.sh on the kernel-build-tools branch
Change-Id: I68eb33bfb80770cef9c3a9c5e01f1ed746a2d069