Merge sources from S-Core's RSA git (release)