Linux kernel

Vanwege een volle cd deze maand geen Linux kernel.