Ensure 128-bit alignment for ek and dk in AESNI.c