I didn't find pin muxing related files in u-boot and Kernel.
The Software NetComme contains a pinmux tool CommExpert, probably it is helpful for you.
Please download NetComme 4.2 for MPC8309 from NetComm_Software: NetComm Software Resources.
Have a great day,
Yiping Wang
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------