Asking for clarifications

[Михалева , Екатерина]

To whom it may concern,

My name is Ekaterina Mikhaleva, I am a young researcher and a PhD student,
majoring in IT/IP law.

I would like to clarify how is it possible that the Guix System that is a
free GNU/Linux distribution acknowledged by the FSF uses Linux kernel,
which is licensed under GPLv2, and at the same time Guix System is licensed
under GPLv3?
I am a specialist in law, so I cannot probably grasp all the technical
peculiarities, though I have checked on your website in the "Packages"
section any mentioning on Linux kernel and here
https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/linux.scm#n3138
 I found the following:

   (home-page "https://www.gnu.org/software/linux-libre/";)
    (synopsis "GNU Linux-Libre kernel headers")
    (description "Headers of the Linux-Libre kernel.")
    (license license:gpl2)))


As far as I know, GPLv2 and GPLv3 are incompatible and Linux kernel is
licensed strictly under GPLv2 without any possibility to update to any
further version.
I presumed that GPLv2 would make the whole product subject to the term of
this particular license. Still your product is licensed under GPLv3, if I
am correct?

I will be immensely grateful for your clarifications.

Thank you in advance.