CRISv10: Readd missing header
authorJesper Nilsson <jespern@axis.com>
Tue, 28 Jan 2014 14:14:35 +0000 (15:14 +0100)
committerJesper Nilsson <jespern@axis.com>
Tue, 28 Jan 2014 14:14:35 +0000 (15:14 +0100)
The svinto architecture header was mistakenly removed,
leading to a compile error.

Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>

No differences found