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