Comment by fsflover

> I would still count it as the Linux kernel.

This may be technically true, except it has no single meaningful implication, like no Linux software works there.