* Patch by Stephan Linz, 09 Jan 2004
   - makes the DK1C20 board configuration related
     to ASMI more conform to documentation