I asked why anyone would think that vmklinux (the linux derivative) and vmkernel were independent.

Please refer to the quote from the license I've provided, and belorn's thought experiment here.