Uh-oh, I swapped the motherboards of my 2 computers (one uses Windows 7, the other 8). Now Windows is having activation errors on one computer, saying that the product key "exceeded the unlock limit". I don't understand; I paid for both copies!
Looks like I will ultimately have to use Linux Mint. I hate the lack of overclocking tools on Linux.