Specify the architecture in KSPP recommendations

config_files/kspp-recommendations-arm.config

@@ -133,6 +133,8 @@ CONFIG_GCC_PLUGIN_RANDSTRUCT=y
 
 #arm
 
+CONFIG_ARM=y
+
 # Disallow allocating the first 32k of memory (cannot be 64k due to ARM loader).
 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
 

config_files/kspp-recommendations-arm64.config

@@ -133,6 +133,8 @@ CONFIG_GCC_PLUGIN_RANDSTRUCT=y
 
 #arm64
 
+CONFIG_ARM64=y
+
 # Disallow allocating the first 32k of memory (cannot be 64k due to ARM loader).
 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
 

config_files/kspp-recommendations-x86-32.config

@@ -133,6 +133,8 @@ CONFIG_GCC_PLUGIN_RANDSTRUCT=y
 
 #x86_32
 
+CONFIG_X86_32=y
+
 # On 32-bit kernels, require PAE for NX bit support.
 # CONFIG_M486 is not set
 # CONFIG_HIGHMEM4G is not set