Jide replied that the kernel is untouched, so if you want the kernel source for Remix OS just grab AOSP: https://forum.jide.com/index.php?p=/discussion/563/source-co...