define p4 microarchitectures
define some p4s
rename xsl->xslt