AFAIK the idea isn't that you can't ship devices running other operating systems but that you can't ship devices running non-compliant forks of Android, which I do agree is nigh unto the same thing--as Android is open source and that's a decision Google already made--but I think is worth noting explicitly as others sometimes see it as different (both because it doesn't prevent a greenfield alternative, and as Google gave away Android for free and arguably didn't have to--though I kind of think they originally did to pull off the coalition--and so this is one of the ways they maintain ecosystem control without being closed source, which they arguably could just do now without issue... I mean, they've already gone back hard on the level of openness they started with, and for a year or so around Android 3.x they were closed source, which I have oft claimed was to stifle Amazon).