Bring in LeanKernel for tuna and aosp based manta kernel