The attached patch adds support for a board specific reset function for ppc4xx CPUs. This is useful, for example, in systems with a Xilinx FPGA which contains a PPC405 processor and is configured by a Xilinx SystemACE controller. The board specific reset function can instruct the SystemACE to reload the FPGA configuration bitstream, effectively resetting the system.

Signed-off-by: Keith Outwater outwater4@comcast.net