[PATCH v3 1/2] ARMV7: Add support for Samsung ORIGEN board