It is if they don't redist the kernel code they're using - if it's GPL'd, and you redistribute the binaries, you acquire the responsibility to redist the source.