ARMV7: Add support for Samsung ORIGEN board