Re: [U-Boot] [PATCH 10/22] ppc: xilinx-ppc440-generic: Cleanout header files