Various patches for the kernel