Does the MI_MCRESET signal need to be an external input, since it is listed in the example ppc440mc_ddr2 UCFs?
No, this signal is typically sourced internally from the proc_sys_reset core, similar to other EDK peripherals.
This issue will be fixed starting with 10.1 EDK, Service Pack 3.