[ARM] Exynos4: Add code to help determine the SOC type.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[ARM] Exynos4: Determine the type of MCT interrupt based on SOC type

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>