kernel

Settings and patches for Linux kernel