How to implement pinmux changes for custom carrier board

You could refer to the flash log, it would tell you which pinmux file are using.

You could run the following command on the device to check current pinmux setting.

# cat /sys/kernel/debug/pinctrl/2430000.pinmux/pinconf-groups