patching for kernel (not tested)