It's technically correct to call it "the Android kernel" - the Android kernel is no longer a true Linux kernel. They forked it from Linux some time ago.