Are these really infected files, or is it an error?

[souslefauteuil]

Hi all, I'm running Windows 7 64-bit, and I just checked my virus chest, and saw kernel32.dll and wsock32.dll in there (original location C:\Windows\system32).  They were apparently transferred back in October '09, but I guess I hadn't checked my virus chest and noticed them.  I tried googling them, and I got the impression that they were legitimate files... should I delete them, restore them, or just let them hang out in my virus chest some more?  Was it an error on Avast's part that they were placed in the virus chest?

Thanks.

[DavidR]

They are backup copies of the originals, for use by avast should the originals become infected, leave them as they are.