RE: [PATCH 42/57] ppc: Remove T1040RDB boards