--- debian-orig/config/kernelarch-x86/config    2014-12-23 04:36:02.692639070 +0100
+++ debian/config/kernelarch-x86/config 2014-12-23 04:42:11.680132715 +0100
@@ -104,8 +104,8 @@
 ## file: crypto/Kconfig
 ##
 CONFIG_CRYPTO_CRC32C_INTEL=m
-CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL=m
-CONFIG_CRYPTO_AES_NI_INTEL=m
+CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL=y
+CONFIG_CRYPTO_AES_NI_INTEL=y

 ##
 ## file: drivers/acpi/Kconfig