Patch by Denis Peter, 19 Mai 2003:
add support for the MIP405-3 board
12 files changed