Re: [PATCH v2 2/2] powerpc: Remove Xilinx PPC405/PPC440 support