Manually reformat aes_x86core.c and add it to the list of files skipped by