[U-Boot] [PATCH][v1] ppc/85x/86xxx: Device tree fixup for number of cores