Only if they see it as a bad investment or they need cash. Otherwise, it's probably fine to leave it as is and defer the taxes.

[EDIT] Oh, and they have a 5% stake in lenovo, which should benefit android and chromeos (and maybe keep MS in check).