I suspect that if the Linux kernel was published under a BSD-style license, Canonical would provide binaries without source, and their patches would be propriet

I suspect that if the Linux kernel was published under a BSD-style license, Canonical would provide binaries without source, and their patches would be proprietary. My suspicions are based on the fact that Canonical are trying to make it difficult to redistribute their work, so much so that they were violating the GPL before introducing the trump clause mentioned in the article.