Translation of "Kernel" in German

The asteroid is named after the Linux operating system kernel.
Der Asteroid ist nach dem Linux-Kernel benannt.
Wikipedia v1.0

For that purpose optional extensions for the Linux kernel are provided.
Aus diesem Grund werden einige Erweiterungen für den Linux-Kernel bereitgestellt.
Wikipedia v1.0