Eu não tenho certeza se você realmente precisa se preocupar com isso. Você provavelmente pode se sentir seguro de que os detentores dos direitos autorais do kernel do Linux (Linus, et al) não vão processá-lo por violação de direitos autorais.
Você não estará alterando o código, esperando que ele seja digitado e compilado ou usado de qualquer outra forma que não seja um efeito visual. Todos estão livres para baixar essa cópia do código das fontes usuais, se quiserem. Embora isso não seja juridicamente vinculante, você certamente não está violando o espírito da GPL e estou razoavelmente certo de que não vale a pena a hora de alguém te processar por esse tipo de coisa.
(E não, eu não sou advogado.)