diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 4b1fb3152873..19d1431ea888 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -2,6 +2,7 @@ rec {
   pc = {
     name = "pc";
     uboot = null;
+    kernelHeadersBaseConfig = "defconfig";
     kernelBaseConfig = "defconfig";
     # Build whatever possible as a module, if not stated in the extra config.
     kernelAutoModules = true;