Re: [U-Boot] [PATCH v2] powerpc/p4080: Add support for the P4080DS board