You might be surprised to learn that the Linux kernel as employed in Android does actually have a stable binary and programming interface. It’s called the Kernel Module Interface or KMI, and Android fixes the tool chain and symbols that may be used. It’s part of the effort to move devices to generic kernels.