diff --git a/arch/x86/configs/gki_defconfig b/arch/x86/configs/gki_defconfig
index 027f61efe4df..53bf5641bfb1 100644
--- a/arch/x86/configs/gki_defconfig
+++ b/arch/x86/configs/gki_defconfig
@@ -265,6 +265,7 @@ CONFIG_SERIAL_OF_PLATFORM=y
 CONFIG_SERIAL_DEV_BUS=y
 CONFIG_HW_RANDOM=y
 # CONFIG_DEVMEM is not set
+# CONFIG_DEVPORT is not set
 CONFIG_HPET=y
 # CONFIG_I2C_COMPAT is not set
 # CONFIG_I2C_HELPER_AUTO is not set