simplify AES_NI code using the <intrin.h> header