Adeos I-Pipe patch port for Samsung S3C6410 FriendlyARM board. Allows installing Xenomai on S3C6410