The P4080 silicon device tree was using PowerPC,4080 while the other
e500mc based SoCs used PowerPC,e500mc.  Use the core name to be
consistent going forward.
Signed-off-by: NKumar Gala <galak@kernel.crashing.org>