Hi Yixing,
Thnaks for getting back to me. The question came up while talking to a CPU module vendor. Not beeing specific, they claimed that the IOMUX tool has 'problems' and they learned it the 'hard way'. That is, why I posted this question.
So far, we did not discover any problems, but our board will come back from fab ans assy in about 3-4 weeks. Then we will see, if the pin mux worked or we have a problem.
Thanks and I guess we can close this discussion (though not that much of a discussion ;-)
Cheers,
Ingo