diff --git a/sdk_container/src/third_party/coreos-overlay/profiles/coreos/targets/generic/prod/make.defaults b/sdk_container/src/third_party/coreos-overlay/profiles/coreos/targets/generic/prod/make.defaults
index e87c9f4b35..e09e3f855f 100644
--- a/sdk_container/src/third_party/coreos-overlay/profiles/coreos/targets/generic/prod/make.defaults
+++ b/sdk_container/src/third_party/coreos-overlay/profiles/coreos/targets/generic/prod/make.defaults
@@ -8,6 +8,7 @@ INSTALL_MASK="${INSTALL_MASK}
   /lib*/pkgconfig
   /usr/include
   /usr/lib*/*/include
+  -/usr/lib*/modules/*/include
   /usr/lib*/cmake
   /usr/lib*/debug
   /usr/lib*/pkgconfig