Re: [U-Boot] [PATCH 01/22] ppc: xilinx-ppc440: Remove support for ml507