Various defilements of the Linux kernel