Я не уверен, что вам действительно нужно беспокоиться об этом. Вы, вероятно, можете быть уверены, что правообладатели ядра Linux (Linus и др.) Не собираются предъявлять вам иск за нарушение авторских прав.
Вы не будете изменять код, ожидая, что он будет набран и скомпилирован, или использован каким-либо иным способом, кроме как для визуального эффекта. Каждый желающий может бесплатно загрузить эту копию кода из обычных источников. Хотя это не является юридически обязательным, вы, конечно, не нарушаете дух GPL, и я вполне уверен, что не стоит никому времени судить вас за подобные вещи.
(И нет, я не юрист.)