Kernel source for default kernel in AOKP_manta builds