[PATCH v2 1/2] ARMV7: Add support for Samsung SMDKV310 Board