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