Under Device Manager Processors I have 2 entries of Intel(R) Pentium(R) 4 CPU 2.80GHz. Should 2 of them be there?