diff --git a/kernel/kernel/config-amd64 b/kernel/kernel/config-amd64
index e3a337328..280eca918 100644
--- a/kernel/kernel/config-amd64
+++ b/kernel/kernel/config-amd64
@@ -4033,7 +4033,7 @@ CONFIG_USB_XHCI_HCD=y
 # CONFIG_USB_XHCI_DBGCAP is not set
 CONFIG_USB_XHCI_PCI=y
 # CONFIG_USB_XHCI_PCI_RENESAS is not set
-# CONFIG_USB_XHCI_PLATFORM is not set
+CONFIG_USB_XHCI_PLATFORM=y
 CONFIG_USB_EHCI_HCD=y
 # CONFIG_USB_EHCI_ROOT_HUB_TT is not set
 CONFIG_USB_EHCI_TT_NEWSCHED=y