* Add new support for the Xilinx ML403 board. The board is based on a
    Xilinx Virtex-4 FX12 FPGA with an embedded PowerPC 405 core.
    See http://www.xilinx.com/ml403 for more information.
  Patch by Peter Ryser, 1 Oct 2005