"Debian GNU/Linux 2.2", is the "2.2" a release of Debian or is it the version of the Linux kernel? Thank You