anchor.diff:        ];
     };
   
  -  # Please keep in sync with linux_3_0, except for extraConfig
  -  linux_3_0_powertop = makeOverridable (import ../os-specific/linux/kernel/linux-3.0.nix) {
  -    inherit fetchurl stdenv perl mktemp module_init_tools ubootChooser;
  +  linux_3_0_powertop = linux_3_0.override {
       extraConfig = ''
           CPU_FREQ_GOV_ONDEMAND y
           CPU_FREQ_STAT y
  
positive.code:         TIMER_STATS y
          USB_SUSPEND y
      '';
      kernelPatches =
        [ #kernelPatches.fbcondecor_2_6_38
          kernelPatches.sec_perm_2_6_24
          kernelPatches.aufs2_1_2_6_39
          #kernelPatches.mips_restart_2_6_36
        ];
    };
  
    # Please keep in sync with linux_3_0_powertop, except for extraConfig
    linux_3_0 = makeOverridable (import ../os-specific/linux/kernel/linux-3.0.nix) {
      inherit fetchurl stdenv perl mktemp module_init_tools ubootChooser;
      kernelPatches =
  
negative.code:         TIMER_STATS y
          USB_SUSPEND y
      '';
    };
  
    /* Linux kernel modules are inherently tied to a specific kernel.  So
  