There's more than one kernel. Your emphasis and capitalization does not make it clear which one you mean.

so then we'll have two options: the Kernel's original recipe and the extra Rust-y flavor