* Patch by Peter Ryser, 20 Feb 2004:
  Add support for the Xilinx ML300 platform
  (http://www.xilinx.com/ml300).