My patches to the Linux Kernel