Even without the clause I doubt Lenovo would choose to drop Android. With the Moto X/G, Motorola has strong momentum as an Android handset manufacturer. This includes consumer expectations that it will continue to make Android devices. Since Lenovo has no desire to (and is too late to) start a forked Android ecosystem a la Amazon/other Chinese manufacturers, sticking with Android makes the most logical sense.