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