diff --git a/srcpkgs/linux6.13/files/x86_64-dotconfig b/srcpkgs/linux6.13/files/x86_64-dotconfig
index 1c1a283fb35..b5bafae1d48 100644
--- a/srcpkgs/linux6.13/files/x86_64-dotconfig
+++ b/srcpkgs/linux6.13/files/x86_64-dotconfig
@@ -8344,7 +8344,7 @@ CONFIG_TYPEC_WUSB3801=m
 # CONFIG_TYPEC_MUX_FSA4480 is not set
 CONFIG_TYPEC_MUX_GPIO_SBU=m
 # CONFIG_TYPEC_MUX_PI3USB30532 is not set
-# CONFIG_TYPEC_MUX_INTEL_PMC is not set
+CONFIG_TYPEC_MUX_INTEL_PMC=m
 # CONFIG_TYPEC_MUX_IT5205 is not set
 # CONFIG_TYPEC_MUX_NB7VPQ904M is not set
 # CONFIG_TYPEC_MUX_PTN36502 is not set