Exynos4 boards (nuri, smdkc210)

These are machines which use the Samsung Exynos4210 SoC, which has Cortex-A9 CPUs.

nuri models the Samsung NURI board.

smdkc210 models the Samsung SMDKC210 board.