Hi,
Thanks for your feedback. We might be misunderstanding the request, if so, we apologize.
We understand that you are saying that CAN_PE_CLK frequency is 40MHz, is this correct?

If so, it is correct. We understand that under the NXP examples, this is the frequency given to CAN_PE_CLK.
As for the CPU Frequency, should be XBAR_CLK the one that provides the CPU frequency:

Please, let us know.