added definitions for PILEDRIVER and HASWELL