Board definition for mini6410/tiny6410 (ARM1176)