Re: [U-Boot] [PATCH 04/11] ARM: tegra: prototype pinmux_init() in board.h