The GPL can't force them to work on getting the code included in the mainline kernel.

They did this for one reason plain and simple: competitive advantage over VMWare.