added some Ivy-bridge CPU events to types.h