let kernels =
- [ "2.6.21-1.3128.fc7.i586"; "2.6.21-1.3128.fc7.i686";
- "2.6.21-1.3141.fc7.ppc64"; "2.6.21-1.3141.fc7.x86_64";
- "2.6.21-1.3190.fc7.x86_64"; "2.6.22-0.23.rc7.git6.fc8.ppc";
- "2.6.24-0.167.rc8.git4.fc9.ppc64"; "2.6.25.14-69.fc8.x86_64";
- "2.6.26.1-9.fc9.ppc64"; "2.6.27-0.226.rc1.git5.fc10.ppc" ];;
+ [ "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" ];;