They're definitely obfuscating the amount. If it were just a couple of functions that could be ripped out and rewritten, VMWare would have done it long before this hit court.

This doesn't even get into "linkage". They're almost certainly using huge chunks of Linux code wholesale.