diff --git a/target/linux/generic/config-4.14 b/target/linux/generic/config-4.14
index 604553b654..fa389bf8c0 100644
--- a/target/linux/generic/config-4.14
+++ b/target/linux/generic/config-4.14
@@ -2174,6 +2174,7 @@ CONFIG_KERNEL_MODE_NEON=y
 CONFIG_KERNEL_XZ=y
 CONFIG_KERNFS=y
 # CONFIG_KEXEC is not set
+# CONFIG_KEXEC_FILE is not set
 # CONFIG_KEYBOARD_ADC is not set
 # CONFIG_KEYBOARD_ADP5588 is not set
 # CONFIG_KEYBOARD_ADP5589 is not set
diff --git a/target/linux/x86/config-4.9 b/target/linux/x86/config-4.9
index b5003546c9..76366a7d71 100644
--- a/target/linux/x86/config-4.9
+++ b/target/linux/x86/config-4.9
@@ -272,6 +272,7 @@ CONFIG_JBD2=y
 CONFIG_KALLSYMS=y
 CONFIG_KEXEC=y
 CONFIG_KEXEC_CORE=y
+# CONFIG_KEXEC_FILE is not set
 CONFIG_KEYBOARD_ATKBD=y
 # CONFIG_LEDS_CLEVO_MAIL is not set
 CONFIG_LIBNVDIMM=y