diff --git a/target/linux/x86/config-5.15 b/target/linux/x86/config-5.15
index ee7ab9d6de..aebe4f08c4 100644
--- a/target/linux/x86/config-5.15
+++ b/target/linux/x86/config-5.15
@@ -415,6 +415,7 @@ CONFIG_X86_MSR=y
 CONFIG_X86_PAT=y
 CONFIG_X86_PLATFORM_DEVICES=y
 # CONFIG_X86_PLATFORM_DRIVERS_DELL is not set
+# CONFIG_X86_PLATFORM_DRIVERS_HP is not set
 # CONFIG_X86_POWERNOW_K6 is not set
 # CONFIG_X86_POWERNOW_K7 is not set
 # CONFIG_X86_REBOOTFIXUPS is not set