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