[ARM] Exynos4: Add support for Vexpress-A9 guest.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[HOST] Add smdkc210 enrty

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