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 distributio

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?