Can you select the number of cores running in bios perhaps?