Building with the attached random configuration file, arch/x86/crypto/aesni-intel_avx.S: Assembler messages: arch/x86/crypto/aesni-intel_avx.S:1449: Error: bad register name `%r12' [...] arch/x86/crypto/aesni-intel_avx.S:2807: Error: bad register name `%r12' make[2]: *** [arch/x86/crypto/aesni-intel_avx.o] Error 1