Re: [PATCH 10/25] arm: Remove mx35pdk board