gcccpuopt: handle Ivy Bridge E, and Haswell E models