* Add new support for the Xilinx ML310 board. The board is based on a
    Xilinx Virtex-II Pro FPGA with two embedded PowerPC 405 cores.
    See http://www.xilinx.com/ml310 for more information.
  Patch by Peter Ryser, 28 Sep 2005