I mean, just provide some proof that the kernel is proprietary.
First you said the Linux kernel is proprietary then you linked to a Linux kernel that is non-proprietary. That's like saying 'Birds are blue' then pointing to a bunch of red birds.
It might be more accurate to say 'some modules in some kernels are not free'.