Trying to build a kernel for AOSP