I see there are pad mux in u-boot board file, and also in kernel device tree files.
Both seems to be about the same.
So, Why is it that both are required ? Why can't u-boot pad also keep on when moving to kernel ?
I am afraid that there might be some differences between both.
Is it that CONFIG_PINMUX shall disable the override of mux in kernel ?