let kernels =
- [ "2.6.25.11-97.fc9.i686"; "2.6.25.11-97.fc9.x86_64";
- "2.6.25.14-108.fc9.i586"; "2.6.25.14-108.fc9.i686";
- "2.6.25.14-108.fc9.ppc"; "2.6.25.14-108.fc9.ppc64";
- "2.6.25.14-108.fc9.x86_64"; "2.6.25.14-69.fc8.i586";
- "2.6.25.14-69.fc8.i686"; "2.6.25.14-69.fc8.ppc";
+ [ "2.6.20-1.2933.fc6.i586"; "2.6.20-1.2933.fc6.i686";
+ "2.6.20-1.2933.fc6.ppc"; "2.6.20-1.2933.fc6.ppc64";
+ "2.6.20-1.2933.fc6.x86_64"; "2.6.25.11-97.fc9.i686";
+ "2.6.25.11-97.fc9.x86_64"; "2.6.25.14-108.fc9.i586";
+ "2.6.25.14-108.fc9.i686"; "2.6.25.14-108.fc9.ppc";
+ "2.6.25.14-108.fc9.ppc64"; "2.6.25.14-108.fc9.x86_64";
+ "2.6.25.14-69.fc8.i586"; "2.6.25.14-69.fc8.i686"; "2.6.25.14-69.fc8.ppc";
"2.6.25.14-69.fc8.ppc64"; "2.6.25.14-69.fc8.x86_64" ];;