I have modified the TI shipped U-Boot code to initialize a number of peripherals such as MMC, UARTS, Ethernet etc. at startup. Once a peripheral has it's pinmux settings configured in U-boot is that sufficient for the device to then be recognized in Linux? Or does a separate round of pinmux configuration need to be done in the Linux startup code?