The GPL makes an explicit distinction between source distribution and binary distribution. Are you saying a judge would reject that distinction? Would the judge find that simply having the source code to both the Linux kernel and ZFS on the same machine at the same time was a violation?