anchor.diff:          extraConfig = "CONFIG_FB_SPLASH=y";
         }
       ];
  -  };
  -
  -  kernel_2_6_22 = import ../os-specific/linux/kernel/linux-2.6.22.nix {
  +  });
  +
  +  kernel_2_6_22 = platformPackage ["i686-linux" "x86_64-linux" "powerpc-linux"] (
  +    import ../os-specific/linux/kernel/linux-2.6.22.nix {
       inherit fetchurl stdenv perl mktemp module_init_tools;
       kernelPatches = [
         { name = "fbsplash-0.9.2-r5-2.6.21";
  
positive.code: 	};
        }
      ];
    };
  
    # For older x86 processors without PAE/PAT
    kernel_2_6_31_rc4_old_i686 = kernel_2_6_31_rc4.override {
      oldI686 = true;
    };
  
    kernel_2_6_31_rc3 = makeOverridable (import ../os-specific/linux/kernel/linux-2.6.31-rc3.nix) {
      inherit fetchurl stdenv perl mktemp module_init_tools;
      kernelPatches = [ 
        { name = "rc3 patch";
  
negative.code:     inherit lib fetchurl stdenv composableDerivation;
    };
  
    j2sdk14x = platformPackage ["i686-linux"] (
      assert system == "i686-linux";
      import ../development/compilers/jdk/default-1.4.nix {
        inherit fetchurl stdenv;
      });
  
    jdk5 = platformPackage ["i686-linux" "x86_64-linux"] (
      assert system == "i686-linux" || system == "x86_64-linux";
      import ../development/compilers/jdk/default-5.nix {
        inherit fetchurl stdenv unzip;
      });
  
    jdk       = jdkdistro true  false;
    jre       = jdkdistro false false;
  