Re: [PATCH 16/16] arm: Remove mx31pdk_defconfig board