You can also try reinstalling the operating system. It is possible that something in the OS became corrupted and is preventing the 4th core from being recognized.
This is a long shot, but it is worth a try since the cost is $0. Just make sure you backup all important files on your C: drive before doing a fresh reinstall.