I'm trying to debug IPSec Main Mode / IKE issues using wfp tracing and/or debugging of the IKE IPSec service. I've got the ETL files and tracefmt from the DDK, but I don't have wfp.tmf for my platform so the formatted event output is just a bunch of "No Format Information found".
Server 2008 R2 doesn't have wfp.tmf in %windir%\system32. Why isn't available and where can I get it?