I have verified the default reset values for the registers of the MCG module. According to that, after reset it enters FEI mode, using the 32kHz internal reference, multiplied by FLL by a factor of 640, which leads to 20.48MHz.
I still have one thing to verify. I do not know if the default startup code added by CodeWarrior in a non-PE project modifies any of the default parameters, changing clock frequency. My bet is that the startup code does not handle hardware too much, so it must keep default values. I think I will program a TPM channel to output compare and check the output frequency, relating it with the internal system clock.