Any of these OS can decide tomorrow to change to another kernel, and Linux is history in the mobile space. Sure, they could do that. Oops, there goes all those

Any of these OS can decide tomorrow to change to another kernel, and Linux is history in the mobile space. Sure, they could do that. Oops, there goes all those drivers. Hey, what happened to that port to X architecture? What do you mean only Linux and NetBSD run on it?