T9600 should work fine but as SMDFlea said don't expect large improvement.
If you have a missing core it's most likely related to BIOS, try to reset CMOS, update BIOS and check the settings. Also try with another LiveUSB if ever it's an issue with the OS.
Comment