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