If you check it isn’t the system32\kernel32.dll that is being reported as infected, but one contained in C:\windows$NtServicePackUninstall$\kernel32.dll, so there is no need to replace anything.