diff --git a/third_party/linux/kconfig-x86_64 b/third_party/linux/kconfig-x86_64
index 7901b68..f17cc3c 100644
--- a/third_party/linux/kconfig-x86_64
+++ b/third_party/linux/kconfig-x86_64
@@ -41,6 +41,7 @@
 CONFIG_X86_CPU_RESCTRL=y
 CONFIG_X86_FRED=y
 # CONFIG_X86_EXTENDED_PLATFORM is not set
+CONFIG_X86_AMD_PLATFORM_DEVICE=y
 CONFIG_HYPERVISOR_GUEST=y
 CONFIG_PARAVIRT_SPINLOCKS=y
 CONFIG_XEN=y
@@ -412,7 +413,6 @@
 CONFIG_XEN_GRANT_DEV_ALLOC=y
 CONFIG_XEN_VIRTIO=y
 # CONFIG_SURFACE_PLATFORMS is not set
-CONFIG_COMMON_CLK=y
 CONFIG_HWSPINLOCK=y
 CONFIG_AMD_IOMMU=y
 CONFIG_INTEL_IOMMU=y