powerpc/85xx: fix a bug with the parameter of mpic_reset_core()