Fix patching recent (3.7 and up) kernels