Re: [PATCH 21/57] arm: Remove platinum_picon board