> How many kernel devs does the world need? A dozen or two?

You're low by several orders of magnitude. "The 2025 development cycle saw 2,134 developers contribute to [Linux] kernel 6.18" [1]

[1] https://commandlinux.com/statistics/linux-kernel-contributor...