[PATCH] Deprecate synchronize_kernel, GPL replacement