aes_encrypt_intel
extern void aes_encrypt_intel(const uint32_t rk[], int Nr,
aes_encrypt_intel(rk, Nr, pt, ct);