ssl/t1_enc.c: optimize PRF (suggested by Intel).