Re: [PATCH 10/27] ppc: Remove ve8313 board