I agree with you that it is clear in this case.

But they are arguing that the API they added makes the proprietary vmkernel a separate work and the distribution with vmklinux a "mere aggregation", no?