No I believe the hardware side of the mobile division is included. But that was just a bonus (or a curse?) for Google who, as you said, just really wanted the patent.
I'm not so sure anymore that was Google's only intent. Google may be later be forced to become an OEM. As of today, it's quite a reality that Samsung (who sells 55% of all Android smartphones), Amazon, Facebook and Baidu won't completely fork Android in their own best interest. It may behoove Google to develop a Nexus line that covers a wide range of prices.
