Re: [PATCH 56/57] ppc: Remove T4160RDB board