ARMV7: Add support for Samsung SMDKV310 Board