they’d probably just contribute the changes they want into it.

I’ve heard they’re one of the biggest single company contributors to linux. No idea how much truth there is to that, but it wouldn’t surprise me.