Re: [PATCH] ARM: dts: at91: sama5d4: fix pinctrl muxing