I would wager mobile semiconductor revenue worlwide is bigger than server semiconductor revenue worldwide.
But I agree with you that Intel is still dominant in the server world.