Hmm, in the past I used the debugger to inspect the registers of my MIMXRT1050 and it came back as a Cortex-M7 r1p1, even though the manual for this one also references "Arm CoreSight™ ETM-M7 Revision: r0p1". So, I think that using the Cortex-M4F port is correct.
You can check it yourself by reading the CPUID register in the debugger (J-Link prints its value when connecting to the core, or you could read it manually). Per here, the rightmost hex digit is the revision, and the sixth-from-the-right hex digit is the variant number. For example, mine comes back as 0x411FC271, which would mean that it is r1p1.
