script: allow ptxed options in .ptt files
script: allow ptxed options in .ptt files

Allow opt:ptxed directives similar to opt:ptdump in .ptt files.

Change-Id: Iea6da2f1026ac6fbdd5b5f0f659d7fcbcdc33277
Signed-off-by: Markus Metzger <5f675b2b36595f90898e014b548ff7d9bbff2ab7@intel.com>

01org/processor-trace,01org/processor-trace,01org/processor-trace