diff --git a/configs/efi-x86_defconfig b/configs/efi-x86_defconfig
index 943ef07638ab2b5c03fc7cfe609858fb986abc78..b4cbd5fc5d421383cffd944945c46573078a608f 100644
--- a/configs/efi-x86_defconfig
+++ b/configs/efi-x86_defconfig
@@ -3,6 +3,7 @@ CONFIG_VENDOR_EFI=y
 CONFIG_DEFAULT_DEVICE_TREE="efi"
 CONFIG_TARGET_EFI=y
 # CONFIG_CMD_BOOTM is not set
+# CONFIG_CMD_IMLS is not set
 CONFIG_CMD_GPIO=y
 # CONFIG_CMD_NET is not set
 CONFIG_OF_CONTROL=y
@@ -13,6 +14,5 @@ CONFIG_DEBUG_EFI_CONSOLE=y
 CONFIG_DEBUG_UART_BASE=0
 CONFIG_DEBUG_UART_CLOCK=0
 CONFIG_ICH_SPI=y
-# CONFIG_X86_SERIAL is not set
 CONFIG_TIMER=y
 CONFIG_EFI=y
diff --git a/include/configs/efi-x86.h b/include/configs/efi-x86.h
index 258a83f9de845f80a77c5143551ff25c3f85d2d8..7fb37f06b883042d59ae39bf3c0265cd0d8220d2 100644
--- a/include/configs/efi-x86.h
+++ b/include/configs/efi-x86.h
@@ -13,9 +13,6 @@
 
 #undef CONFIG_TPM_TIS_BASE_ADDRESS
 
-#undef CONFIG_CMD_IMLS
-
-#undef CONFIG_X86_SERIAL
 #undef CONFIG_ENV_IS_IN_SPI_FLASH
 #define CONFIG_ENV_IS_NOWHERE
 #undef CONFIG_VIDEO