My electrical engineering professor told the class today that some dual core processors are actually quad core processors with two of the cores turned off due to marketing purposes. Is this true?