From cd065a010a97e3c330d1ded9af551664c9689b19 Mon Sep 17 00:00:00 2001
From: Jesper Nilsson <jespern@axis.com>
Date: Tue, 28 Jan 2014 15:14:35 +0100
Subject: [PATCH] CRISv10: Readd missing header

The svinto architecture header was mistakenly removed,
leading to a compile error.

Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>
---
Reading git-format-patch failed