Microsoft gets royalties on Android devices because it owns some patents of stuff Google uses? Worlds collide.