Hi Vanessa,
On Tue, May 16, 2017 at 2:32 PM, Vanessa Maegima
<vanessa.maegima at nxp.com> wrote:
> +&usdhc3 {
> + pinctrl-names = "default", "state_100mhz", "state_200mhz";
As you are using only the 'default' entry, you could remove the other ones.