I can't find information on what would happen to Chromium, would google need to hand it over too? That's probably more important than the fate of Chrome.
The only thing being specific is chrome the product launches. Selling of the pixel phone business wouldn't require also selling android for instance, so arguably its the same.