Hi Nexus,
The answer is Yes, and No....
The max output from the DCO in trimmed mode is 40MHz, and so the max output from the MCG is MCGOUT = 40MHz if the BDIV is set to 0.
The busclk is MCGOUT/2 and so, one of the clock inputs to the TPM module is 20MHz max. If the TPM prescaler bits are cleared PS[2:0] = 0b000 in the TPMxSC register, then indeed you will get a 20MHz clock source to the timer.
So the answer is Yes.
BUT
do check the latest errata for the device, maskset 3M05C prohibits setting BDIV = 0 in FEI or FEE mode. Maskset errata 1M74K has this errata fixed.
You _may_ be able to purchase maskset 1M74K on a custom part number, but would need to contact the Freescale sales team for your country.
Mark