[$] The end of CONFIG_ANDROID

The kernel has thousands of configuration options, many of which can changethe kernel's behavior in subtle or surprising ways. Among those options isCONFIG_ANDROID,which one might expect to be relatively straightforward; its descriptionreads, in its entirety: "Enable support for various drivers needed onthe Android platform". It turns out that this option does more thanthat, to the surprise of some users. That has led to a plan to remove thisoption, but that has brought a surprise or two of its own - and somedisagreement - as well.