Linux Kernel source misc files